diff --git a/src/kernel/core/syscalls.c b/src/kernel/core/syscalls.c
index c53840e7a3..fb9d4fe488 100644
--- a/src/kernel/core/syscalls.c
+++ b/src/kernel/core/syscalls.c
@@ -11,6 +11,7 @@
 #include <debug.h>
 #include <vfs.h>
 #include <thread.h>
+#include <OS.h>
 #include <sem.h>
 #include <port.h>
 #include <cpu.h>
@@ -21,7 +22,6 @@
 #include <ksocket.h>
 #include <sys/ioccom.h>
 #include <sys/socket.h>
-#include <OS.h>
 
 #define INT32TOINT64(x, y) ((int64)(x) | ((int64)(y) << 32))