diff --git a/arch/alpha/system.cc b/arch/alpha/system.cc
index 25543da57..547e89cff 100644
--- a/arch/alpha/system.cc
+++ b/arch/alpha/system.cc
@@ -26,6 +26,7 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
+#include "arch/alpha/ev5.hh"
 #include "arch/alpha/system.hh"
 #include "arch/vtophys.hh"
 #include "base/remote_gdb.hh"
diff --git a/arch/alpha/tlb.hh b/arch/alpha/tlb.hh
index de955fa46..1c299e8b9 100644
--- a/arch/alpha/tlb.hh
+++ b/arch/alpha/tlb.hh
@@ -31,6 +31,7 @@
 
 #include <map>
 
+#include "arch/alpha/ev5.hh"
 #include "arch/alpha/isa_traits.hh"
 #include "arch/alpha/faults.hh"
 #include "base/statistics.hh"
diff --git a/dev/alpha_console.cc b/dev/alpha_console.cc
index 6ca5e3a06..f40c5b7bf 100644
--- a/dev/alpha_console.cc
+++ b/dev/alpha_console.cc
@@ -34,6 +34,7 @@
 #include <cstdio>
 #include <string>
 
+#include "arch/alpha/ev5.hh"
 #include "arch/alpha/system.hh"
 #include "base/inifile.hh"
 #include "base/str.hh"
diff --git a/dev/ide_ctrl.cc b/dev/ide_ctrl.cc
index 56682a224..fed604867 100644
--- a/dev/ide_ctrl.cc
+++ b/dev/ide_ctrl.cc
@@ -31,6 +31,7 @@
 #include <string>
 #include <vector>
 
+#include "arch/alpha/ev5.hh"
 #include "base/trace.hh"
 #include "cpu/intr_control.hh"
 #include "dev/ide_ctrl.hh"
diff --git a/dev/isa_fake.cc b/dev/isa_fake.cc
index 2afebbded..7ce43b712 100644
--- a/dev/isa_fake.cc
+++ b/dev/isa_fake.cc
@@ -34,6 +34,7 @@
 #include <string>
 #include <vector>
 
+#include "arch/alpha/ev5.hh"
 #include "base/trace.hh"
 #include "cpu/exec_context.hh"
 #include "dev/isa_fake.hh"
diff --git a/dev/ns_gige.cc b/dev/ns_gige.cc
index ed8c794f9..f7e67811c 100644
--- a/dev/ns_gige.cc
+++ b/dev/ns_gige.cc
@@ -34,6 +34,7 @@
 #include <deque>
 #include <string>
 
+#include "arch/alpha/ev5.hh"
 #include "base/inet.hh"
 #include "cpu/exec_context.hh"
 #include "dev/etherlink.hh"
diff --git a/dev/pciconfigall.cc b/dev/pciconfigall.cc
index d55084fa5..1a138fb39 100644
--- a/dev/pciconfigall.cc
+++ b/dev/pciconfigall.cc
@@ -35,6 +35,7 @@
 #include <vector>
 #include <bitset>
 
+#include "arch/alpha/ev5.hh"
 #include "base/trace.hh"
 #include "dev/pciconfigall.hh"
 #include "dev/pcidev.hh"
diff --git a/dev/tsunami_cchip.cc b/dev/tsunami_cchip.cc
index 2649fe27a..8c6db8a43 100644
--- a/dev/tsunami_cchip.cc
+++ b/dev/tsunami_cchip.cc
@@ -34,6 +34,7 @@
 #include <string>
 #include <vector>
 
+#include "arch/alpha/ev5.hh"
 #include "base/trace.hh"
 #include "dev/tsunami_cchip.hh"
 #include "dev/tsunamireg.h"
diff --git a/dev/tsunami_io.cc b/dev/tsunami_io.cc
index e66d6653b..14fa97341 100644
--- a/dev/tsunami_io.cc
+++ b/dev/tsunami_io.cc
@@ -36,6 +36,7 @@
 #include <string>
 #include <vector>
 
+#include "arch/alpha/ev5.hh"
 #include "base/trace.hh"
 #include "dev/tsunami_io.hh"
 #include "dev/tsunami.hh"
diff --git a/dev/tsunami_pchip.cc b/dev/tsunami_pchip.cc
index 46efc3dfe..202076754 100644
--- a/dev/tsunami_pchip.cc
+++ b/dev/tsunami_pchip.cc
@@ -34,6 +34,7 @@
 #include <string>
 #include <vector>
 
+#include "arch/alpha/ev5.hh"
 #include "base/trace.hh"
 #include "dev/tsunami_pchip.hh"
 #include "dev/tsunamireg.h"
diff --git a/dev/uart8250.cc b/dev/uart8250.cc
index 65bccee86..7b72b7ef4 100644
--- a/dev/uart8250.cc
+++ b/dev/uart8250.cc
@@ -33,6 +33,7 @@
 #include <string>
 #include <vector>
 
+#include "arch/alpha/ev5.hh"
 #include "base/inifile.hh"
 #include "base/str.hh"        // for to_number
 #include "base/trace.hh"
diff --git a/kern/tru64/tru64_events.cc b/kern/tru64/tru64_events.cc
index 8f2be6d9b..855c3cd36 100644
--- a/kern/tru64/tru64_events.cc
+++ b/kern/tru64/tru64_events.cc
@@ -33,6 +33,7 @@
 #include "kern/tru64/dump_mbuf.hh"
 #include "kern/tru64/printf.hh"
 #include "mem/functional/memory_control.hh"
+#include "arch/alpha/ev5.hh"
 #include "arch/arguments.hh"
 #include "arch/isa_traits.hh"
 #include "sim/system.hh"