[Indigo]<Cedar5.3>File>FileExtra.mesa!1

Cedar Nucleus (Files): temp interface

FileExtra.mesa

Andrew Birrell December 7, 1983 3:24 pm

DIRECTORY

Disk USING[ Channel, PageCount, PageNumber ],

File USING[ Volume, VolumeID ],

PhysicalVolume USING[ Physical, PhysicalRC ],

Rope USING[ ROPE ];

FileExtra: CEDAR DEFINITIONS =

BEGIN

ReservePages: PROC[physical: PhysicalVolume.Physical, start: Disk.PageNumber, size: Disk.PageCount];

Notifies the volume creation machinery that the specified range of pages is not to be used (e.g. it contains initial microcode or an Alto partition)

ReserveNoPages: PROC[physical: PhysicalVolume.Physical];

Notifies the volume creation machinery that no pages are currently reserved

CreatePhysicalVolume: PROC[where: Disk.Channel, name: Rope.ROPE, id: File.VolumeID] RETURNS[PhysicalVolume.Physical];

CreateLogicalVolume: PROC[where: LIST OF PhysicalVolume.Physical, size: INT, name: Rope.ROPE, id: File.VolumeID] RETURNS[File.Volume];

PhysicalPageBad: PROC[physical: PhysicalVolume.Physical, address: Disk.PageNumber] RETURNS[ PhysicalVolume.PhysicalRC ];

Record page as bad in the physical volume root

END.