67,70c67,68
< { SET5(IsWrite, NeedsExclusive, IsRequest, HasData, NeedsResponse),
< WritebackAck, "Writeback" },
< /* WritebackAck */
< { SET3(IsWrite, NeedsExclusive, IsResponse), InvalidCmd, "WritebackAck" },
---
> { SET4(IsWrite, NeedsExclusive, IsRequest, HasData),
> InvalidCmd, "Writeback" },
91c89,93
< { SET3(IsInvalidate, IsRequest, IsUpgrade), InvalidCmd, "UpgradeReq" },
---
> { SET4(IsInvalidate, NeedsExclusive, IsRequest, NeedsResponse),
> UpgradeResp, "UpgradeReq" },
> /* UpgradeResp */
> { SET3(IsInvalidate, NeedsExclusive, IsResponse),
> InvalidCmd, "UpgradeResp" },