381a382,388
> } else if (pkt->isInvalidate()) {
> // no need to do anything
> // this clause is intentionally before the write clause: the only
> // transaction that is both a write and an invalidate is
> // WriteInvalidate, and for the sake of consistency, it does not
> // write to memory. in a cacheless system, there are no WriteInv's
> // because the Write -> WriteInvalidate rewrite happens in the cache.
394,395d400
< } else if (pkt->isInvalidate()) {
< // no need to do anything