diff -r 9d1ba30a7b63 -r 0ad8b4be45cc src/arch/arm/table_walker.cc
--- a/src/arch/arm/table_walker.cc	Tue Oct 23 10:27:57 2012 +0100
+++ b/src/arch/arm/table_walker.cc	Tue Oct 23 10:27:59 2012 +0100
@@ -797,7 +797,7 @@
 TableWalker::nextWalk(ThreadContext *tc)
 {
     if (pendingQueue.size())
-        schedule(doProcessEvent, tc->getCpuPtr()->clockEdge(Cycles(1)));
+        schedule(doProcessEvent, clockEdge(Cycles(1)));
 }