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]; ReserveNoPages: PROC[physical: PhysicalVolume.Physical]; 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 ]; END. vCedar Nucleus (Files): temp interface FileExtra.mesa Andrew Birrell December 7, 1983 3:24 pm 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) Notifies the volume creation machinery that no pages are currently reserved Record page as bad in the physical volume root Ê ˜Jšœ&™&Jšœ™Jšœ(™(J˜šÏk ˜ Jšœœ#˜-Jšœœ˜Jšœœ˜-Jšœœœ˜—J˜Jšœ œ œ˜J˜Jš˜J˜šÏn œœR˜dJšœ”™”—J˜šžœœ$˜8JšœK™K—J˜Jšžœœ!œœ˜uJ˜Jšžœœœœ œ œœ˜†J˜šžœœ>œ˜xJ™.—J˜Jšœ˜J˜J˜—…—äz