PBus Related Types
PBusSpecific: TYPE = REF PBusSpecificRec;
PBusSpecificRec:
TYPE =
RECORD [
pCmdA: PCmdType ← NoOp,
pData: DM.Word ← DM.ZerosWord,
pRejectB: BOOL ← FALSE,
pFaultB: FaultType
];
PCmdType: TYPE = {NoOp, Fetch, Store};
FaultType: TYPE = {None, PageFault, WriteProtectFault, FPFault};
The PBus procedures
Create: PUBLIC PROC [] RETURNS [pbus: DM.Component];
Cmd: PUBLIC PROC [pbus: DM.Component] RETURNS [PCmdType];
DrCmd: PUBLIC PROC [pbus: DM.Component, pCmdA: PCmdType];
Data: PUBLIC PROC [pbus: DM.Component] RETURNS [DM.Word];
DrData: PUBLIC PROC [pbus: DM.Component, pData: DM.Word];
Reject: PUBLIC PROC [pbus: DM.Component] RETURNS [BOOL];
DrReject:
PUBLIC
PROC [pbus:
DM.Component, pRejectB:
BOOL];