<> <> <> <<>> <> <<>> DIRECTORY Atom, BitOps; PCCacheProg: CEDAR PROGRAM IMPORTS Atom, BitOps EXPORTS ~ BEGIN <> QWord: TYPE = ARRAY [0 .. 2) OF CARD; <<>> <> <<>> Q: PROC [c: QWord] RETURNS [rc: REF ANY] = {rc _ NEW[QWord _ c]}; C: PROC [c: CARD] RETURNS [rc: REF ANY] = {rc _ NEW[CARD _ LOOPHOLE[c]]}; B: PROC [c: CARDINAL] RETURNS [rc: REF ANY] = {rc _ NEW[CARDINAL _ c]}; AdDBus: PROC [bd,hyb,Int,ci,pth: CARDINAL _0] RETURNS [ad: CARDINAL _0] ~ { <

> <<>> << =0 is for BIC>> ad _ BitOps.WShift[bd,12]+BitOps.WShift[hyb,8]; ad _ ad+BitOps.WShift[Int,5]+BitOps.WShift[ci,3]+pth; }; IdCte: PROC [t,v:CARDINAL] RETURNS [id:CARDINAL] ~ { <> <> id _ 5000H + BitOps.WShift[t,6] + v; }; <> <<>> Atom.PutProp[$PCEmul, $PKList, LIST[ $Init, $Reset, LIST[$SendDBusAddress, B[AdDBus[bd:1,hyb:4,Int:0,ci:3,pth:1]]], -- parameter of Cache LIST[$SendDBusData,C[3],B[10]], << LIST[$SendDBusAddress, B[AdDBus[bd:1,hyb:4,Int:0,ci:1,pth:0]]], -- ID path of MemCntrl>> << LIST[$ReadDBusAndCheck,C[IdCte[t:6,v:0]],B[16]],>> LIST[$SendDBusAddress, B[AdDBus[bd:1,hyb:4,Int:0,ci:1,pth:1]]], -- parameter of MemCntrl LIST[$SendDBusData,C[1],B[10]], LIST[$SendDBusAddress, B[AdDBus[bd:1,hyb:4,Int:0,ci:1,pth:0]]], -- ID path of MemCntrl $Nop, LIST[$Jump,$Nop], ]]; END.