2 files changed, 4 insertions, 2 deletions
diff --git a/src/kern/linux/linux.cc b/src/kern/linux/linux.cc
index 8214aeb97..ef5b4417f 100644
--- a/src/kern/linux/linux.cc
+++ b/src/kern/linux/linux.cc
@@ -28,12 +28,13 @@
  * Authors: Ali Saidi
  */
 
+#include "kern/linux/linux.hh"
+
 #include <cstdio>
 #include <string>
 
 #include "cpu/thread_context.hh"
 #include "debug/SyscallVerbose.hh"
-#include "kern/linux/linux.hh"
 #include "sim/process.hh"
 #include "sim/system.hh"
 
diff --git a/src/kern/linux/printk.cc b/src/kern/linux/printk.cc
index c2cf60964..adc2009df 100644
--- a/src/kern/linux/printk.cc
+++ b/src/kern/linux/printk.cc
@@ -29,13 +29,14 @@
  *          Ali Saidi
  */
 
+#include "kern/linux/printk.hh"
+
 #include <sys/types.h>
 
 #include <algorithm>
 
 #include "base/trace.hh"
 #include "cpu/thread_context.hh"
-#include "kern/linux/printk.hh"
 #include "sim/arguments.hh"
 
 using namespace std;