<> <> <> <<>> DIRECTORY PrincOps USING [aRCLK, aSETMP, PageCount, PageNumber, zMISC]; ProcessorFace: CEDAR DEFINITIONS = BEGIN <<>> <<>> <> Go: PROC; <> InitializeCleanup: PROC; <> <<>> <<>> <> SetMP: PROC [CARDINAL] = TRUSTED MACHINE CODE {PrincOps.zMISC, PrincOps.aSETMP}; <> <<>> <<>> <> <<>> <> ProcessorID: TYPE = PRIVATE RECORD [a, b, c: UNSPECIFIED]; processorID: READONLY ProcessorID; <> <<>> <<>> <> <<>> <> dedicatedRealMemory: READONLY PrincOps.PageCount; <> <<>> <<>> <> GetNextAvailableVM: PROC [page: PrincOps.PageNumber] RETURNS [firstPage: PrincOps.PageNumber, count: PrincOps.PageCount]; <> <<>> <<>> <> <<>> <> GreenwichMeanTime: TYPE = LONG CARDINAL; gmtEpoch: LONG CARDINAL = 2114294400; <<(67years*365daysPerYear+16leapDays)*24hoursPerDay*60minutesPerHour*60secondsPerMinute>> GetGreenwichMeanTime: PROC RETURNS [GreenwichMeanTime]; <> <> SetGreenwichMeanTime: PROC [GreenwichMeanTime]; <> <<>> <<>> <> <<>> <> GetClockPulses: PROC RETURNS [LONG CARDINAL] = TRUSTED MACHINE CODE {PrincOps.zMISC, PrincOps.aRCLK}; <> microsecondsPerHundredPulses: READONLY CARDINAL; -- max error is .33% <<>> <<>> <> reservedNakedNotifyMask: READONLY WORD; <> <<>> <<>> <> <<>> <> millisecondsPerTick: READONLY CARDINAL; <<>> <<>> <> BootButton: PROC; <> PowerOff: PROC; <> SetAutomaticPowerOn: PROC [gmt: GreenwichMeanTime, externalEvent: BOOLEAN]; <> ResetAutomaticPowerOn: PROC; <> END.