181c181,183
< void satisfyCpuSideRequest(PacketPtr pkt, BlkType *blk);
---
> void satisfyCpuSideRequest(PacketPtr pkt, BlkType *blk,
> bool deferred_response = false,
> bool pending_downgrade = false);
295c297
< void markInService(MSHR *mshr);
---
> void markInService(MSHR *mshr, PacketPtr pkt = 0);