-- RTProcessPrivate.Mesa
-- last edited September 9, 1982 10:33 am by Paul Rovner


DIRECTORY
PSB USING[PsbIndex],
RTProcess USING[Handle];

RTProcessPrivate: DEFINITIONS
= BEGIN OPEN PSB;

MapRecord: TYPE = RECORD[map: SEQUENCE length: CARDINAL OF RTProcess.Handle];

ProcessObject: TYPE = MONITORED RECORD[valid: BOOLEAN ← FALSE,
attachment: REF ANY ← NIL,
pageFaults: LONG INTEGER ← 0,
psbi: PsbIndex,
stopState: StopState ← stoppable,
resume: CONDITION];

StopState: TYPE = {stoppable, stopping, stopped, unwinding, aborting};

-- variables
MapPSBIToHandle: REF MapRecord;

-- PROCs

NewCedarProcessRegistered: PROC[psbi: PsbIndex];
InvalidateCedarProcess: PROC[psbi: PsbIndex];
InvalidateFaultingCedarProcess: PROC[psbi: PsbIndex];

END.