699,701c699,701
< L1Icache.cacheProbe(in_msg.LineAddress),
< getL1ICacheEntry(L1Icache.cacheProbe(in_msg.LineAddress)),
< L1_TBEs[L1Icache.cacheProbe(in_msg.LineAddress)]);
---
> Addr victim := L1Icache.cacheProbe(in_msg.LineAddress);
> trigger(Event:L1_Replacement,
> victim, getL1ICacheEntry(victim), L1_TBEs[victim]);
728a729
> Addr victim := L1Dcache.cacheProbe(in_msg.LineAddress);
730,732c731
< L1Dcache.cacheProbe(in_msg.LineAddress),
< getL1DCacheEntry(L1Dcache.cacheProbe(in_msg.LineAddress)),
< L1_TBEs[L1Dcache.cacheProbe(in_msg.LineAddress)]);
---
> victim, getL1DCacheEntry(victim), L1_TBEs[victim]);