2 files changed, 6 insertions, 0 deletions

diff --git a/arch/alpha/faults.cc b/arch/alpha/faults.cc
index 5033f9fcd..99365f8d2 100644
--- a/arch/alpha/faults.cc
+++ b/arch/alpha/faults.cc
@@ -36,8 +36,10 @@ FaultVect AlphaFault::_vect = 0x0000;
 FaultStat AlphaFault::_stat;
 
 FaultVect AlphaMachineCheckFault::_vect = 0x0401;
+FaultStat AlphaMachineCheckFault::_stat;
 
 FaultVect AlphaAlignmentFault::_vect = 0x0301;
+FaultStat AlphaAlignmentFault::_stat;
 
 FaultName ResetFault::_name = "reset";
 FaultVect ResetFault::_vect = 0x0001;
diff --git a/arch/alpha/faults.hh b/arch/alpha/faults.hh
index fedbadd4d..f8cb44017 100644
--- a/arch/alpha/faults.hh
+++ b/arch/alpha/faults.hh
@@ -54,16 +54,20 @@ class AlphaMachineCheckFault : public MachineCheckFault
 {
   private:
     static FaultVect _vect;
+    static FaultStat _stat;
   public:
     FaultVect vect() {return _vect;}
+    FaultStat & stat() {return _stat;}
 };
 
 class AlphaAlignmentFault : public AlignmentFault
 {
   private:
     static FaultVect _vect;
+    static FaultStat _stat;
   public:
     FaultVect vect() {return _vect;}
+    FaultStat & stat() {return _stat;}
 };
 
 static inline Fault genMachineCheckFault()