DIRECTORYBasics USING [HighHalf],CedarMicrocode USING [RTMOVESTATUS, DISABLEMICROCODE, ENABLEMICROCODE, microcodeVersion],DeviceCleanup USING [Item, Reason, Await],GermSwap USING [switches],PrincOps USING [PsbIndex],RealExceptions USING [FlagsArray, Init],RCMicrocodeOps USING [],  -- export of rcMicrocodeExistsVM USING [AddressForPageNumber, Allocate, Interval, Pin, PagesForWords, SimpleAllocate, SwapIn],ZCT USING [ZeroCountTable, ZCTObject, FOSTableObject];SafeStoragePinnedImpl: PROGRAMIMPORTS Basics, CedarMicrocode, DeviceCleanup, GermSwap, RealExceptions, VMEXPORTS ZCT, RCMicrocodeOps= BEGINzct: PUBLIC ZCT.ZeroCountTable _ NIL;rcMicrocodeWasEnabled: PUBLIC BOOL _ FALSE;rcMicrocodeExists: PUBLIC BOOL _ FALSE;ucVersion: NAT;useSoftware: BOOL _ GermSwap.switches[s];  -- for debuggingInitializeCleanup: PUBLIC PROC = {TurnOn[firstTime: TRUE];DOitem: DeviceCleanup.Item;reason: DeviceCleanup.Reason _ DeviceCleanup.Await[@item];SELECT reason FROMturnOff, kill => TurnOff[];turnOn => TurnOn[];ENDCASE;ENDLOOP;};TurnOff: PROC = INLINE {  -- save ucode stateIF rcMicrocodeExists AND rcMicrocodeWasEnabledTHEN CedarMicrocode.DISABLEMICROCODE[zct];};TurnOn: PROC [firstTime: BOOL _ FALSE] = INLINE {  -- restore ucode state[] _ CedarMicrocode.RTMOVESTATUS[177777B--initialize--, gcStateBank];IF firstTime OR rcMicrocodeWasEnabled THEN {ucVersion _ CedarMicrocode.ENABLEMICROCODE[zct];rcMicrocodeWasEnabled _ TRUE;rcMicrocodeExists_ (ucVersion = CedarMicrocode.microcodeVersion) AND NOT useSoftware;IF NOT rcMicrocodeExists THEN {CedarMicrocode.DISABLEMICROCODE[zct];rcMicrocodeWasEnabled _ FALSE;};};};zctInterval: VM.Interval= VM.Allocate[count: VM.PagesForWords[SIZE[ZCT.ZCTObject]+SIZE[ZCT.FOSTableObject]],			  in64K--permanent--: TRUE];Foo: TYPE = MACHINE DEPENDENT RECORD[a: WORD _ 0,b: WORD _ 0,reclaimState: CARDINAL,collector: CARDINAL  --PROCESS];gcsInterval: VM.Interval = VM.Allocate[count: 1, alignment: 8, in64K--permanent--: TRUE];gcState: LONG POINTER TO Foo _ VM.AddressForPageNumber[gcsInterval.page];gcStateBank: CARDINAL _ Basics.HighHalf[LOOPHOLE[gcState, LONG CARDINAL]];VM.Pin[gcsInterval];gcState.reclaimState _ 100000B;gcState.collector _ LAST[PrincOps.PsbIndex] + 1;VM.Pin[[page: zctInterval.page, count: 1]];zct _ VM.AddressForPageNumber[zctInterval.page];  -- pinned. On a page boundary.{interval: VM.Interval _ VM.SimpleAllocate[VM.PagesForWords[SIZE[RealExceptions.FlagsArray]]];VM.SwapIn[interval];RealExceptions.Init[VM.AddressForPageNumber[interval.page]];};END.  ▄  SafeStoragePinnedImpl.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.This code and global frame must be pinned.Paul Rovner, December 6, 1983 2:33 pmRuss Atkinson (RRA) May 22, 1985 9:48:04 pm PDTSTART COMPATIBILITY BOILERPLATEEND COMPATIBILITY BOILERPLATESTART HERESTART COMPATIBILITY BOILERPLATEEND COMPATIBILITY BOILERPLATEThis hack is here because much earlier and we could not be sure of cufficient facilities to allocated the storage. Э╩  Ц"cedar" styleШ codeЪЬЩKЪЬ
╧mЬ1Щ<KЪЬ*Щ*KЪЬ%Щ%JЩ/ЧKШ Ъ╧k	Ш	KЪЬЮЬШKЪ	ЬЮЬЮЬЮЬЮЬШYKЪЬЮЬШ*KЪЬ	ЮЬШKЪЬ	ЮЬШKЪЬЮЬШ(KЪЬЮЬ╧cШ8KЪЮЬЮЬXШ`KЪЮЬЮЬ-Ш6KШ ЧЪЬЮШKЪЮЬBЮШKKЪЮЬЮЬШKЪЬЮШKШ KЪЬЮЬЮЬЮЬШ%KЪЬЮЬЮЬЮЬШ+KЪЬЮЬЮЬЮЬШ'KЪЬЮЬШKЪЬЮЬЯШ;KЩ Ъ╧nЬЮЬЮЬШ"KЪЬЮЬШЪЮШKЪЬШKЪЬ:Ш:ЪЮЬЮШKЪЬШKЪЬШKЪЮЬШЧЧKЪЮЬШKЪЬШЧKШ ЪаЬЮЬЮЬЯШ-ЪЮЬЮЬШ.KЪЮЬЮЬШ*ЧKЪЬШKШ ЧЪаЬЮЬЮЬЮЬЮЬЯШIKЩ ЪЬЩKЪЬЮЬЯЬШEЧKЪЬЩKШ ЪЮЬЮЬЮЬШ,KЪЬЮЬШ0KЪЬЮЬШЪЬШKЪЬ0ЮЬЮЬШDЧЪЮЬЮЬЮЬШKЪЬЮЬШ%KЪЬЮЬШKШЧKШЧKШKШ ЧKЪЬ
Щ
KШ ЪЬЮЬ	ШЪЬЮЬЮЬЮЬЮЬЮЬЮЬШTKЪЬ
ЯЬЮЬШЧЧKШ ЪЬЩЪ	ЬЮЬЮЬЮ	ЬЮЬШ%KЪЬЮЬШKЪЬЮЬШKЪЬЮЬШKЪЬЮЬЯ	ШKЪЬШЧKШ KЪ	ЬЮЬЮЬ'ЯЬЮЬШYKЪ	Ь	ЮЬЮЬЮЬЮЬ(ШIKЪ	ЬЮЬЮЬ
ЮЬЮЬШJKЪЮЬШKЪЬШKЪЬЮЬШ0ЧKЪЬЩKШ KЪЮЬ)Ш+KЪЬЮЬ*ЯШPKШ ЪЬШKЪЬrЩrKЪ	Ь
ЮЬЮЬЮЬЮЬШ]KЪЮЬШKЪЬЮЬ&Ш<KШЧKШ KЪЮЬШKШ ЧЧ ЕЧ    
    