summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/arch/x86/pagetable_walker.cc4
1 files changed, 3 insertions, 1 deletions
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;