<> <> <> <> <<>> <<>> DIRECTORY VM USING [Interval, PageNumber]; VMRemotePaging: DEFINITIONS = BEGIN <<>> <> LaundryWriteProc: TYPE = PROC[interval: VM.Interval] RETURNS [success: BOOL]; PageInProc: TYPE = PROC[faultedPage: VM.PageNumber, writePointer: LONG POINTER] RETURNS [success: BOOL]; RemotePageState: TYPE = {valid, stickyInvalid, invalid}; <> <> <> ValidPageSeq: TYPE = RECORD[ PACKED SEQUENCE COMPUTED NAT OF RemotePageState]; <<>> <> MaxRemotePage: INT; RemotePageValid: LONG POINTER TO ValidPageSeq; <> <> EstablishLaundryWriteProc: PROC[proc: LaundryWriteProc]; EstablishPageInProc: PROC[proc: PageInProc]; END. <> <> <<>> <<>>