-- DiskKDDefs.Mesa  Edited by Sandman on June 30, 1980  4:52 PM
-- Copyright  Xerox Corporation 1979, 1980

DIRECTORY
  AltoFileDefs USING [SN, vDA],
  ImageDefs USING [CleanupProcedure];

DiskKDDefs: DEFINITIONS =
  BEGIN

  InitializeDiskKD: PROCEDURE;

  UpdateDiskKD: PROCEDURE;

  CloseDiskKD: PROCEDURE RETURNS [BOOLEAN];

  CleanupDiskKD: ImageDefs.CleanupProcedure;

  NewSN: PROCEDURE RETURNS [sn: AltoFileDefs.SN];

  DiskFull: PUBLIC SIGNAL;

  AssignDiskPage: PROCEDURE [da: AltoFileDefs.vDA] RETURNS [AltoFileDefs.vDA];

  ReleaseDiskPage: PROCEDURE [v: AltoFileDefs.vDA];

  CountFreeDiskPages: PROCEDURE RETURNS [CARDINAL];

  END.