-- Swapper>PageFault.mesa (last edited by: Levin on: September 15, 1982 8:20 pm)

DIRECTORY

VM USING [Interval, PageNumber];

PageFault: DEFINITIONS =

BEGIN

AwaitPageFault: PROCEDURE RETURNS [VM.PageNumber];

RestartPageFault: PROCEDURE [interval: VM.Interval];

ReportAddressFault: PROCEDURE [page: VM.PageNumber];

AddressFault: ERROR [address: LONG POINTER];

END.

LOG

Time: March 1978By: PMcJAction: Created file

Time: June 23, 1978 1:27 PMBy: PMcJAction: Removed RestartQuantifier

Time: June 24, 1978 3:00 PMBy: PMcJAction: Interval, PageNumber moved to VM