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. ˆMapCacheChecker.mesa Copyright c 1986 by Xerox Corporation. All rights reserved. Louis Monier December 21, 1987 5:44:57 pm PST Κc˜codešœ™Kšœ Οmœ1™