MapCacheChecker.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Louis Monier December 21, 1987 5:44:57 pm PST
DIRECTORY
BitOps, Core, DynaBusInterface;
MapCacheChecker: CEDAR DEFINITIONS
= BEGIN
Quad: TYPE = BitOps.BitQWord;
Create: PROC RETURNS [ct: Core.CellType];
ExpectReply: PROC [header, data: Quad, ignoreData: BOOL ← FALSE];
IsEmpty: PROC RETURNS [BOOL];
Reg: TYPE = {aidR, shP, shM, byP, byM, byB, vpP, vpM};
WriteReg: PROC [reg: Reg, data: CARD];
ReadReg: PROC [reg: Reg] RETURNS [data: CARD];
WriteEntry: PROC [valid: BOOL, vp, rp: CARD, f: [0..16)] RETURNS [ignored: BOOL ← FALSE];
ReadEntry: PROC [vp: CARD] RETURNS [ignored, error: BOOL ← FALSE, rp: CARD, f: [0..16)];
Map: PROC [vp, aid: CARD] RETURNS [ignored, error: BOOL ← FALSE, rp: CARD, f: [0..16)];
END.