<> <> <> <<>> DIRECTORY VMRemotePaging USING [RemotePageState], VM USING [Interval, PageNumber]; VMInternalExtras: DEFINITIONS IMPORTS = BEGIN <<>> PageNumber: TYPE = VM.PageNumber; <> <<>> RemoteSwapInDone: PUBLIC PROC [vmPage, bufferPage: PageNumber] RETURNS [vmPageAlreadyIn: BOOL _ FALSE, worked: BOOL _ TRUE] ; <> <> <<>> SetRemotePageValidity: PROC [interval: VM.Interval, validity: VMRemotePaging.RemotePageState]; <> END. <<>> <<>> <> <> <<>>