<> <> Imports CacheEntry, IO, NumTypes; Library CacheEntry; CacheEntries: CELL[ <> Vdd, Gnd> <> PhAb, PhBb, nPhBb> <> VirtualPage, nVirtualPage> PBits, nPBits=SWITCH[66], MBits, nMBits=SWITCH[66], <> nVirtualMatch, nMatchPageClean, nMatchCellShared=BOOL, nMapValid, nRealMatch, nVictimClean=BOOL, nMatchTIP=BOOL, CellAdr, nCellAdr