diff -r ecacded99f44 -r 0d2d79f37952 src/cpu/base.hh
--- a/src/cpu/base.hh	Fri Nov 02 13:15:11 2012 -0400
+++ b/src/cpu/base.hh	Fri Nov 02 13:16:28 2012 -0400
@@ -221,7 +221,7 @@
 
     virtual void wakeup() = 0;
 
-    void
+    virtual void
     postInterrupt(int int_num, int index)
     {
         interrupts->post(int_num, index);
@@ -229,13 +229,13 @@
             wakeup();
     }
 
-    void
+    virtual void
     clearInterrupt(int int_num, int index)
     {
         interrupts->clear(int_num, index);
     }
 
-    void
+    virtual void
     clearInterrupts()
     {
         interrupts->clearAll();