diff -r 08a854c3edf5 -r a03b2407e3bc src/arch/arm/table_walker.cc
--- a/src/arch/arm/table_walker.cc	Fri Aug 13 11:40:23 2010 -0500
+++ b/src/arch/arm/table_walker.cc	Fri Aug 13 11:40:35 2010 -0500
@@ -145,9 +145,16 @@
     f = tlb->walkTrickBoxCheck(l1desc_addr, currState->vaddr, sizeof(uint32_t),
             currState->isFetch, currState->isWrite, 0, true);
     if (f) {
-       currState->tc = NULL;
-       currState->req = NULL;
-       return f;
+        if (currState->timing) {
+            currState->transState->finish(f, currState->req,
+                                          currState->tc, currState->mode);
+            currState = NULL;
+        }
+        else {
+            currState->tc = NULL;
+            currState->req = NULL;
+        }
+        return f;
     }
 
     if (currState->timing) {