... 214GENREGSET :INIT 90 GlobalVariables:INIT 213missedticks 213HardwareRegisters:GetGPRegs 59, 92 GetIP 59, 92 GetStackReg 59, 92 GetStatWd 59, 92 INIT 91 SetGPRegs 59, 91 SetIP 59, 92 320 References16. ... MA, 198 9.36. Wirth N. and Gutknecht, J., The Oberon System, Software Practice and Expe-rience, Vol. 19, No. 9, 198 9.37. Zhou, D. and Black, Paul E., Formal Specification of Operating Systems ... 304VStoreManager:AddNewMainStorePageToProcess 291 , 292 AddNewPageToProcess 292 AddNewVirtualPageToProcess 291 CanAddPageToSegment 292 CanReleaseProcessVStore 299 CanReleaseSegment 299 INIT 290 IsSharedLogicalPage 294 makeEmptyPage 291 MarkLogicalPageAsShared...