<> <> <> <> <> <<>> SparcSoftcardMap: DEFINITIONS ~ { MapEntry: TYPE = RECORD [ flags: Flags, vMSpace: VMSpace, virtualAddressByte: CARD32, realAddressByte: CARD32 ]; Flags: TYPE = RECORD [ dirty: BOOLEAN _ FALSE, referenced: BOOLEAN _ FALSE, readOnly: BOOLEAN _ FALSE, nonCachable: BOOLEAN _ FALSE, interrupt: BOOLEAN _ FALSE ]; VMSpace: TYPE = RECORD [ name: VMSpaceName, task: CARD32 _ 0 ]; VMSpaceName: TYPE = {dMA, iOP, cP, sparcUserData, sparcUserProgram, sparcSuperData, sparcSuperProgram}; WriteMapEntry: PROC [mapEntry: MapEntry]; ReadMapEntry: PROC [ mapEntry: MapEntry ] RETURNS [ oldMapEntry: MapEntry ]; <> }.