diff -r 9068d48f5e57 -r aafc028408a3 src/arch/mips/faults.hh
--- a/src/arch/mips/faults.hh	Sun Sep 11 17:58:16 2011 -0700
+++ b/src/arch/mips/faults.hh	Sun Sep 11 17:59:21 2011 -0700
@@ -262,8 +262,10 @@
     FaultName name() const {return _name;}
     FaultVect vect() {return _vect;}
     FaultStat & countStat() {return _count;}
+#if FULL_SYSTEM
     void invoke(ThreadContext * tc,
             StaticInstPtr inst = StaticInst::nullStaticInstPtr);
+#endif
 };
 
 class SoftResetFault : public MipsFault