717,719c717,719
< trigger(Event:L2_Replacement, L2cache.cacheProbe(in_msg.addr),
< getCacheEntry(L2cache.cacheProbe(in_msg.addr)),
< TBEs[L2cache.cacheProbe(in_msg.addr)]);
---
> Addr victim := L2cache.cacheProbe(in_msg.addr);
> trigger(Event:L2_Replacement,
> victim, getCacheEntry(victim), TBEs[victim]);
729,731c729,731
< trigger(Event:L2_Replacement, L2cache.cacheProbe(in_msg.addr),
< getCacheEntry(L2cache.cacheProbe(in_msg.addr)),
< TBEs[L2cache.cacheProbe(in_msg.addr)]);
---
> Addr victim := L2cache.cacheProbe(in_msg.addr);
> trigger(Event:L2_Replacement,
> victim, getCacheEntry(victim), TBEs[victim]);