129c129
< if (pkt->req->isLocked()) ev->setFlag(MemEvent::F_LOCKED);
---
> if (pkt->req->isLockedRMW()) ev->setFlag(MemEvent::F_LOCKED);
187c187
< auto pkt = new Packet(req, ::MemCmd::InvalidationReq);
---
> auto pkt = new Packet(req, ::MemCmd::InvalidateReq);