diff --git a/src/cpu/checker/thread_context.hh b/src/cpu/checker/thread_context.hh
index 347c4ba..dbdfa80 100644
--- a/src/cpu/checker/thread_context.hh
+++ b/src/cpu/checker/thread_context.hh
@@ -102,7 +102,11 @@
     {
         actualTC->descheduleInstCountEvent(event);
     }
-    Tick getCurrentInstCount() override { return getCurrentInstCount(); }
+    Tick
+    getCurrentInstCount() override
+    {
+        return actualTC->getCurrentInstCount();
+    }
 
     BaseCPU *getCpuPtr() override { return actualTC->getCpuPtr(); }