<> <> <> DIRECTORY DiskFace USING [Type], PupTypes USING [maxDataWordsPerGatewayPup, PupType, PupSocketID]; TeledebugProtocol: DEFINITIONS = BEGIN CorePage, DiskPage: TYPE = LONG CARDINAL; Flag: TYPE = WORD; Label: TYPE = ARRAY [0..10) OF UNSPECIFIED; Page: TYPE = ARRAY [0..256) OF WORD; acknowledgement: PupTypes.PupType = LOOPHOLE[204B]; coreStoreRequest: PupTypes.PupType = LOOPHOLE[300B]; CoreStoreRequest: TYPE = MACHINE DEPENDENT RECORD [ page: CorePage, flags: Flag, data: Page]; CoreStoreAcknowledgement: TYPE = MACHINE DEPENDENT RECORD [ page: CorePage, flags: Flag]; -- vacant flag if failure (not mapped) coreFetchRequest: PupTypes.PupType = LOOPHOLE[301B]; CoreFetchRequest: TYPE = MACHINE DEPENDENT RECORD [page: CorePage]; <> CoreFetchAcknowledgement: TYPE = MACHINE DEPENDENT RECORD [ page: CorePage, flags: Flag, data: Page]; <> diskAddressSetRequest: PupTypes.PupType = LOOPHOLE[302B]; DiskAddressSetRequest: TYPE = MACHINE DEPENDENT RECORD [ page: DiskPage, device: DiskFace.Type, deviceOrdinal: CARDINAL]; <> DiskAddressSetAcknowledgement: TYPE = MACHINE DEPENDENT RECORD [ page: DiskPage, device: DiskFace.Type, deviceOrdinal: CARDINAL]; diskStoreRequest: PupTypes.PupType = LOOPHOLE[303B]; DiskStoreRequest: TYPE = MACHINE DEPENDENT RECORD [ label: Label, data: Page]; <> DiskStoreAcknowledgement: TYPE = MACHINE DEPENDENT RECORD [ label: Label, garbage: ARRAY [0..0) OF UNSPECIFIED]; diskFetchRequest: PupTypes.PupType = LOOPHOLE[304B]; <> <> DiskFetchAcknowledgement: TYPE = MACHINE DEPENDENT RECORD [ label: Label, data: Page]; go: PupTypes.PupType = LOOPHOLE[202B]; <> goReply: PupTypes.PupType = LOOPHOLE[203B]; <> <> noLabel: Label = [-1, -1, -1, -1, -1, -1, -1, -1, -1, -1]; vacantFlag: Flag = 60000B; -- writeProtected+dirty=vacant teleSwatSocket: PupTypes.PupSocketID = [0, 60B]; <> MaxSize: TYPE = CARDINAL [0..PupTypes.maxDataWordsPerGatewayPup]; coreStoreRequestSize: MaxSize = SIZE[CoreStoreRequest]; coreStoreAcknowledgementSize: MaxSize = SIZE[CoreStoreAcknowledgement]; coreFetchRequestSize: MaxSize = SIZE[CoreFetchRequest]; coreFetchAcknowledgementSize: MaxSize = SIZE[CoreFetchAcknowledgement]; diskAddressSetRequestSize: MaxSize = SIZE[DiskAddressSetRequest]; diskAddressSetAcknowledgementSize: MaxSize = SIZE[DiskAddressSetAcknowledgement]; diskStoreRequestSize: MaxSize = SIZE[DiskStoreRequest]; diskStoreAcknowledgementSize: MaxSize = SIZE[DiskStoreAcknowledgement]; diskFetchAcknowledgementSize: MaxSize = SIZE[DiskFetchAcknowledgement]; END.....