<> <> <> <<>> <<>> DIRECTORY DM, DragOpsCross USING [Word, ZerosWord]; PBusModel: CEDAR DEFINITIONS = BEGIN <> Word: TYPE = DragOpsCross.Word; <> <<>> PCmdType: TYPE = {NoOp, Fetch, Store}; FaultType: TYPE = {None, PageFault, WriteProtectFault, FPFault}; PBusWires: TYPE = REF PBusWiresRec; PBusWiresRec: TYPE = RECORD [ pCmdA: PCmdType _ NoOp, pData: Word _ DragOpsCross.ZerosWord, pRejectB: BOOL _ FALSE, pFaultB: FaultType ]; <> Create: PUBLIC PROC [] RETURNS [pbus: DM.Component]; END. <<>> <<>>