diff --git a/src/arch/x86/pagetable_walker.cc b/src/arch/x86/pagetable_walker.cc index 0c8dcd442..e75f2edc4 100644 --- a/src/arch/x86/pagetable_walker.cc +++ b/src/arch/x86/pagetable_walker.cc @@ -608,9 +608,11 @@ Walker::WalkerState::recvPacket(PacketPtr pkt) assert(pkt->isResponse()); assert(inflight); assert(state == Waiting); - assert(!read); inflight--; if (pkt->isRead()) { + // should not have a pending read it we also had one outstanding + assert(!read); + // @todo someone should pay for this pkt->busFirstWordDelay = pkt->busLastWordDelay = 0;