-- KernelPhysicalVolume.mesa (last edited by: McJones on: February 4, 1981  3:18 PM)

DIRECTORY
  System USING [LocalTimeParameters, nullID, PhysicalVolumeID];

KernelPhysicalVolume: DEFINITIONS =

BEGIN OPEN System;

GetSavedLocalTimeParameters: PROCEDURE [pvID: PhysicalVolumeID ← [nullID]]
  RETURNS [valid: BOOLEAN, params: LocalTimeParameters];
  -- Read copy of local time parameters saved in root page of specified physical volume,
  --   or return valid=FALSE if no copy has ever been saved.
  -- Defaulting pvID=nullID causes system physical volume to be used.

SetSavedLocalTimeParameters: PROCEDURE [
    params: LocalTimeParameters, pvID: PhysicalVolumeID ← [nullID]]
  RETURNS [updated: BOOLEAN];
  -- Write copy of local time parameters to root page of specified physical volume.
  -- Defaulting pvID=nullID causes system physical volume to be used.
  -- Return updated=FALSE if no write performed, because pvID defaulted without
  --   a system physical volume (i.e. UtilityPilot).

END.

January 23, 1981  4:16 PM	McJones	Create file
February 4, 1981  3:18 PM	McJones	SystemExtras=>System