diff -r 07f5d9f48a69 -r 6273e4f44a7a src/arch/arm/table_walker.cc
--- a/src/arch/arm/table_walker.cc	Tue Nov 25 09:53:44 2014 +0000
+++ b/src/arch/arm/table_walker.cc	Tue Nov 25 09:53:46 2014 +0000
@@ -344,12 +344,22 @@
         // We've got a valid request, lets process it
         pending = true;
         pendingQueue.pop_front();
+        // Keep currState in case one of the processWalk... calls NULLs it
+        WalkerState *curr_state_copy = currState;
+        Fault f;
         if (currState->aarch64)
-            processWalkAArch64();
+            f = processWalkAArch64();
         else if ((_haveLPAE && currState->ttbcr.eae) || currState->isHyp || isStage2)
-            processWalkLPAE();
+            f = processWalkLPAE();
         else
-            processWalk();
+            f = processWalk();
+
+        if (f != NoFault) {
+            curr_state_copy->transState->finish(f, curr_state_copy->req,
+                    curr_state_copy->tc, curr_state_copy->mode);
+
+            delete curr_state_copy;
+        }
         return;
     }