diff --git a/src/arch/arm/table_walker.cc b/src/arch/arm/table_walker.cc
index 5f44539351..a10eb4a201 100644
--- a/src/arch/arm/table_walker.cc
+++ b/src/arch/arm/table_walker.cc
@@ -797,7 +797,7 @@ void
 TableWalker::nextWalk(ThreadContext *tc)
 {
     if (pendingQueue.size())
-        schedule(doProcessEvent, tc->getCpuPtr()->clockEdge(Cycles(1)));
+        schedule(doProcessEvent, clockEdge(Cycles(1)));
 }