<> <> <> <<>> <<>> DIRECTORY Camelot, Mach, Rope; CamelotMIG: CEDAR DEFINITIONS ~ BEGIN <> <<>> ATTransactionHasDiedX: PROC [atPort: Mach.portT, tid: Camelot.tidT, status: INT]; <> <<>> SRRestoreObjectX: PROC [sPort: Mach.portT, optr: Camelot.optrT, value: Mach.pointerT, valueCnt: CARD]; <<>> SRRestoreBatchX: PROC [sPort: Mach.portT, dataPtr: Mach.pointerT, dataPtrCnt: CARD]; <<>> SRRePrepareX: PROC [sPort: Mach.portT, btid: Camelot.btidT, prepareData: Mach.pointerT, prepareDataCnt: CARD]; SRRecoveryCompleteX: PROC [sPort: Mach.portT]; <<>> <> <<>> STVoteX: PROC [sPort: Mach.portT, btid: Camelot.btidT, timestamp: Camelot.timestampT, prepare: BOOL, result: POINTER TO Camelot.voteT]; <<>> STCommitX: PROC [sPort: Mach.portT, btid: Camelot.btidT] ; <<>> STAbortX: PROC [sPort: Mach.portT, btid: Camelot.btidT]; <<>> STSuspendX: PROC [sPort: Mach.portT, tid: Camelot.tidT, status: INT] ; END.