6 files changed, 6 insertions, 0 deletions
diff --git a/src/dev/x86/cmos.cc b/src/dev/x86/cmos.cc
index aa92521dc..d7107deb7 100644
--- a/src/dev/x86/cmos.cc
+++ b/src/dev/x86/cmos.cc
@@ -28,6 +28,7 @@
  * Authors: Gabe Black
  */
 
+#include "debug/CMOS.hh"
 #include "dev/x86/cmos.hh"
 #include "dev/x86/intdev.hh"
 #include "mem/packet_access.hh"
diff --git a/src/dev/x86/i8042.cc b/src/dev/x86/i8042.cc
index fb1412615..a0786c95c 100644
--- a/src/dev/x86/i8042.cc
+++ b/src/dev/x86/i8042.cc
@@ -29,6 +29,7 @@
  */
 
 #include "base/bitunion.hh"
+#include "debug/I8042.hh"
 #include "dev/x86/i8042.hh"
 #include "mem/packet.hh"
 #include "mem/packet_access.hh"
diff --git a/src/dev/x86/i82094aa.cc b/src/dev/x86/i82094aa.cc
index 90c6a0900..584090a9e 100644
--- a/src/dev/x86/i82094aa.cc
+++ b/src/dev/x86/i82094aa.cc
@@ -30,6 +30,7 @@
 
 #include "arch/x86/interrupts.hh"
 #include "arch/x86/intmessage.hh"
+#include "debug/I82094AA.hh"
 #include "dev/x86/i82094aa.hh"
 #include "dev/x86/i8259.hh"
 #include "mem/packet.hh"
diff --git a/src/dev/x86/i8254.cc b/src/dev/x86/i8254.cc
index dd1ff7c5e..f6af34a65 100644
--- a/src/dev/x86/i8254.cc
+++ b/src/dev/x86/i8254.cc
@@ -28,6 +28,7 @@
  * Authors: Gabe Black
  */
 
+#include "debug/I8254.hh"
 #include "dev/x86/i8254.hh"
 #include "dev/x86/intdev.hh"
 #include "mem/packet.hh"
diff --git a/src/dev/x86/i8259.cc b/src/dev/x86/i8259.cc
index 651196b47..4e8c10181 100644
--- a/src/dev/x86/i8259.cc
+++ b/src/dev/x86/i8259.cc
@@ -29,6 +29,7 @@
  */
 
 #include "base/bitfield.hh"
+#include "debug/I8259.hh"
 #include "dev/x86/i82094aa.hh"
 #include "dev/x86/i8259.hh"
 #include "mem/packet.hh"
diff --git a/src/dev/x86/speaker.cc b/src/dev/x86/speaker.cc
index b0f4dcd8b..70f52dd1a 100644
--- a/src/dev/x86/speaker.cc
+++ b/src/dev/x86/speaker.cc
@@ -30,6 +30,7 @@
 
 #include "base/bitunion.hh"
 #include "base/trace.hh"
+#include "debug/PcSpeaker.hh"
 #include "dev/x86/i8254.hh"
 #include "dev/x86/speaker.hh"
 #include "mem/packet.hh"