diff --git a/src/arch/x86/types.hh b/src/arch/x86/types.hh
index 82fe0eb8a..0037d5063 100644
--- a/src/arch/x86/types.hh
+++ b/src/arch/x86/types.hh
@@ -58,6 +58,8 @@
 #ifndef __ARCH_X86_TYPES_HH__
 #define __ARCH_X86_TYPES_HH__
 
+#include <inttypes.h>
+
 namespace X86ISA
 {
     //XXX This won't work