332a333
> Addr victim := L1Icache.cacheProbe(in_msg.LineAddress);
334,336c335
< L1Icache.cacheProbe(in_msg.LineAddress),
< getL1ICacheEntry(L1Icache.cacheProbe(in_msg.LineAddress)),
< TBEs[L1Icache.cacheProbe(in_msg.LineAddress)]);
---
> victim, getL1ICacheEntry(victim), TBEs[victim]);
366a366
> Addr victim := L1Dcache.cacheProbe(in_msg.LineAddress);
368,370c368
< L1Dcache.cacheProbe(in_msg.LineAddress),
< getL1DCacheEntry(L1Dcache.cacheProbe(in_msg.LineAddress)),
< TBEs[L1Dcache.cacheProbe(in_msg.LineAddress)]);
---
> victim, getL1DCacheEntry(victim), TBEs[victim]);