includes: use base/types.hh not inttypes.h or stdint.h

[gem5.git] / src / kern / linux / linux.hh

diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh
index ad35fa726d33605cdb3233a12d089a90da770aaf..7c16228ea194288e786d3f0bc9962dcc6bb586b8 100644 (file)
--- a/src/kern/linux/linux.hh
+++ b/src/kern/linux/linux.hh
@@ -30,6 +30,8 @@
 
 #ifndef __LINUX_HH__
 #define __LINUX_HH__
+
+#include "base/types.hh"
 #include "config/full_system.hh"
 
 #if FULL_SYSTEM
@@ -38,7 +40,6 @@ class Linux {};
 
 #else //!FULL_SYSTEM
 
-#include <inttypes.h>
 #include <string>
 
 #include "kern/operatingsystem.hh"