diff --git a/src/arch/arm/faults.hh b/src/arch/arm/faults.hh
index f9dc8ac3bd..d8684792c9 100644
--- a/src/arch/arm/faults.hh
+++ b/src/arch/arm/faults.hh
@@ -49,6 +49,7 @@
 #include "arch/arm/types.hh"
 #include "config/full_system.hh"
 #include "sim/faults.hh"
+#include "base/misc.hh"
 
 // The design of the "name" and "vect" functions is in sim/faults.hh
 
@@ -217,6 +218,10 @@ class DataAbort : public AbortFault<DataAbort>
 class Interrupt : public ArmFaultVals<Interrupt> {};
 class FastInterrupt : public ArmFaultVals<FastInterrupt> {};
 
+static inline Fault genMachineCheckFault()
+{
+    return new Reset();
+}
 
 } // ArmISA namespace