870a871,872
> assert(_status == DcacheWaitResponse || _status == DTBWaitResponse ||
> pkt->req->getFlags().isSet(Request::NO_ACCESS));
900d901
< assert(_status == DcacheWaitResponse || _status == DTBWaitResponse);