-- File: MiscServerDefs.mesa - last edit:
-- AOF                  3-Feb-88 11:38:23
-- HGM                 18-Jun-85  5:51:24
-- Copyright (C) 1983, 1985, 1988 by Xerox Corporation. All rights reserved. 

DIRECTORY
  PupDefs USING [PupBuffer],
  PupTypes USING [PupType];

MiscServerDefs: DEFINITIONS =
  BEGIN

  PupMiscServerOn: PROCEDURE;
  PupMiscServerOff: PROCEDURE;

  IgnoreThisPacket: PROCEDURE [PupDefs.PupBuffer];

  SetBootServer: PROCEDURE [PROCEDURE [PupDefs.PupBuffer]];
  SetNameServer: PROCEDURE [PROCEDURE [PupDefs.PupBuffer]];
  SetDirectoryServer: PROCEDURE [PROCEDURE [PupDefs.PupBuffer]];
  SetTimeServer: PROCEDURE [PROCEDURE [PupDefs.PupBuffer]];


  dateTextRequest: PupTypes.PupType = LOOPHOLE[200B];
  dateTextIs: PupTypes.PupType = LOOPHOLE[201B];
  dateTenexRequest: PupTypes.PupType = LOOPHOLE[202B];
  dateTenexIs: PupTypes.PupType = LOOPHOLE[203B];
  -- 204+205 were old Alto format
  dateAltoRequest: PupTypes.PupType = LOOPHOLE[205B];
  dateAltoIs: PupTypes.PupType = LOOPHOLE[206B];

  lockTimeRequest: PupTypes.PupType = LOOPHOLE[217B];
  lockTimeReply: PupTypes.PupType = LOOPHOLE[227B];
  resetTimeRequest: PupTypes.PupType = LOOPHOLE[255B];
  resetTimeReply: PupTypes.PupType = LOOPHOLE[256B];

  timeStatsRequest: PupTypes.PupType = LOOPHOLE[215B];
  timeStatsReply: PupTypes.PupType = LOOPHOLE[216B];

  lockBooterRequest: PupTypes.PupType = LOOPHOLE[242B];
  lockBooterReply: PupTypes.PupType = LOOPHOLE[243B];
  unlockBooterRequest: PupTypes.PupType = LOOPHOLE[233B];
  unlockBooterReply: PupTypes.PupType = LOOPHOLE[234B];

  bootStatsRequest: PupTypes.PupType = LOOPHOLE[253B];
  bootStatsReply: PupTypes.PupType = LOOPHOLE[254B];

  microcodeRequest: PupTypes.PupType = LOOPHOLE[264B];
  microcodeReply: PupTypes.PupType = LOOPHOLE[265B];

  lockDirRequest: PupTypes.PupType = LOOPHOLE[235B];
  lockDirReply: PupTypes.PupType = LOOPHOLE[236B];
  unlockDirRequest: PupTypes.PupType = LOOPHOLE[237B];
  unlockDirReply: PupTypes.PupType = LOOPHOLE[261B];

  nameStatsRequest: PupTypes.PupType = LOOPHOLE[225B];
  nameStatsReply: PupTypes.PupType = LOOPHOLE[226B];
  
  nameToCacheRequest: PupTypes.PupType = LOOPHOLE[272B];
  addressToCacheRequest: PupTypes.PupType = LOOPHOLE[273B];
  hereIsCacheEntry: PupTypes.PupType = LOOPHOLE[274B];
  
  slowMicrocodeRequest: PupTypes.PupType = LOOPHOLE[275B];
  
  sunBootRequest: PupTypes.PupType = LOOPHOLE[303B];

  END.