<> <> <> <> <<>> <> <<>> DIRECTORY Basics; SoftcardBDVM: CEDAR DEFINITIONS ~ BEGIN Address: TYPE ~ RECORD[a: CARD32]; --physical @ for the 6085, virtual for the softcard. Expressed in words, it is the address that you DoveInputOutput.Peek to. AssignBDVM: PROC [realAddressByte, byteSize: CARD32] RETURNS [translationBase: CARD32]; RealFromAddress: PUBLIC PROC [address: Address] RETURNS [realAddress: CARD32]; DoWithTranslation: PROC [realAddressByte, byteSize: CARD32, action: PROC[Basics.UnsafeBlock]]; END.