diff --git a/src/cpu/intr_control.cc b/src/cpu/intr_control.cc
index 018ae1886..c3a11ad91 100644
--- a/src/cpu/intr_control.cc
+++ b/src/cpu/intr_control.cc
@@ -32,6 +32,7 @@
 #include <string>
 #include <vector>
 
+#include "base/trace.hh"
 #include "cpu/base.hh"
 #include "cpu/thread_context.hh"
 #include "cpu/intr_control.hh"
@@ -43,36 +44,22 @@ IntrControl::IntrControl(const Params *p)
     : SimObject(p), sys(p->sys)
 {}
 
-void
-IntrControl::post(int int_num, int index)
-{
-    std::vector<ThreadContext *> &tcvec = sys->threadContexts;
-    BaseCPU *temp = tcvec[0]->getCpuPtr();
-    temp->post_interrupt(int_num, index);
-}
-
 void
 IntrControl::post(int cpu_id, int int_num, int index)
 {
+    DPRINTF(IntrControl, "post  %d:%d (cpu %d)\n", int_num, index, cpu_id);
     std::vector<ThreadContext *> &tcvec = sys->threadContexts;
-    BaseCPU *temp = tcvec[cpu_id]->getCpuPtr();
-    temp->post_interrupt(int_num, index);
-}
-
-void
-IntrControl::clear(int int_num, int index)
-{
-    std::vector<ThreadContext *> &tcvec = sys->threadContexts;
-    BaseCPU *temp = tcvec[0]->getCpuPtr();
-    temp->clear_interrupt(int_num, index);
+    BaseCPU *cpu = tcvec[cpu_id]->getCpuPtr();
+    cpu->post_interrupt(int_num, index);
 }
 
 void
 IntrControl::clear(int cpu_id, int int_num, int index)
 {
+    DPRINTF(IntrControl, "clear %d:%d (cpu %d)\n", int_num, index, cpu_id);
     std::vector<ThreadContext *> &tcvec = sys->threadContexts;
-    BaseCPU *temp = tcvec[cpu_id]->getCpuPtr();
-    temp->clear_interrupt(int_num, index);
+    BaseCPU *cpu = tcvec[cpu_id]->getCpuPtr();
+    cpu->clear_interrupt(int_num, index);
 }
 
 IntrControl *
diff --git a/src/cpu/intr_control.hh b/src/cpu/intr_control.hh
index 746859fab..2a63cf608 100644
--- a/src/cpu/intr_control.hh
+++ b/src/cpu/intr_control.hh
@@ -47,10 +47,20 @@ class IntrControl : public SimObject
     typedef IntrControlParams Params;
     IntrControl(const Params *p);
 
-    void clear(int int_num, int index = 0);
-    void post(int int_num, int index = 0);
     void clear(int cpu_id, int int_num, int index);
     void post(int cpu_id, int int_num, int index);
+
+    void
+    clear(int int_num, int index = 0)
+    {
+        clear(0, int_num, index);
+    }
+
+    void
+    post(int int_num, int index = 0)
+    {
+        post(0, int_num, index);
+    }
 };
 
 #endif // __INTR_CONTROL_HH__