381c381,382
< Entry L2cache_entry := getCacheEntry(L2cache.cacheProbe(in_msg.addr));
---
> Addr victim := L2cache.cacheProbe(in_msg.addr);
> Entry L2cache_entry := getCacheEntry(victim);
383,384c384
< trigger(Event:L2_Replacement, L2cache.cacheProbe(in_msg.addr),
< L2cache_entry, TBEs[L2cache.cacheProbe(in_msg.addr)]);
---
> trigger(Event:L2_Replacement, victim, L2cache_entry, TBEs[victim]);
386,387c386,387
< trigger(Event:L2_Replacement_clean, L2cache.cacheProbe(in_msg.addr),
< L2cache_entry, TBEs[L2cache.cacheProbe(in_msg.addr)]);
---
> trigger(Event:L2_Replacement_clean,
> victim, L2cache_entry, TBEs[victim]);