<> <> <> <> <> <> <> <<>> <> YggDummyProcess: DEFINITIONS = BEGIN <> Ticks: TYPE = CARDINAL; Milliseconds: TYPE = INT; Seconds: TYPE = CARDINAL; MsecToTicks: SAFE PROC [Milliseconds] RETURNS [Ticks]; SecondsToTicks: SAFE PROC [Seconds] RETURNS [Ticks]; TicksToMsec: SAFE PROC [Ticks] RETURNS [Milliseconds]; <> ConditionPointer: TYPE = POINTER TO CONDITION; SetTimeout: PROC [condition: ConditionPointer, ticks: Ticks] ; DisableTimeout: PROC [condition: ConditionPointer] ; <> Detach: PROC [PROCESS]; <> GetCurrent: SAFE PROC RETURNS [PROCESS]; <> Priority: TYPE = [0..7]; <> <<>> priorityIdleProcess: Priority = 0; priorityBackground, priorityClient0: Priority = 1; priorityNormal, priorityClient1: Priority = 2; priorityForeground, priorityClient2: Priority = 3; priorityClient3: Priority = 4; priorityFaultHandlers: Priority = 5; priorityRealTime: Priority = 6; prioritySwatWatcher: Priority = 7; SetPriority: SAFE PROC [p: Priority]; GetPriority: SAFE PROC RETURNS [Priority]; <> Abort: PROC [PROCESS]; <> CheckForAbort: SAFE PROC; <> DisableAborts: PROC [pCondition: ConditionPointer]; EnableAborts: PROC [pCondition: ConditionPointer]; <> Pause: SAFE PROC [ticks: Ticks]; PauseMsec: SAFE PROC [ms: Milliseconds]; Yield: SAFE PROC; SetTimeSlice: SAFE PROC [ticks: Ticks]; <> ValidateProcess: PROC [PROCESS]; InvalidProcess: ERROR [process: PROCESS]; END.