430,432c430,432
< probeFilter.cacheProbe(in_msg.addr),
< getProbeFilterEntry(probeFilter.cacheProbe(in_msg.addr)),
< TBEs[probeFilter.cacheProbe(in_msg.addr)]);
---
> Addr victim := probeFilter.cacheProbe(in_msg.addr);
> trigger(Event:Pf_Replacement,
> victim, getProbeFilterEntry(victim), TBEs[victim]);