452,454c452,453
< trigger(Event:L2_Replacement,
< L2cache.cacheProbe(in_msg.addr),
< getCacheEntry(L2cache.cacheProbe(in_msg.addr)));
---
> Addr victim := L2cache.cacheProbe(in_msg.addr);
> trigger(Event:L2_Replacement, victim, getCacheEntry(victim));
489,491c488,489
< trigger(Event:L2_Replacement,
< L2cache.cacheProbe(in_msg.addr),
< getCacheEntry(L2cache.cacheProbe(in_msg.addr)));
---
> Addr victim := L2cache.cacheProbe(in_msg.addr);
> trigger(Event:L2_Replacement, victim, getCacheEntry(victim));