1 files changed, 7 insertions, 4 deletions

diff --git a/src/syscalls.c b/src/syscalls.c
index 77a6277..c738ac4 100644
--- a/src/syscalls.c
+++ b/src/syscalls.c
@@ -1,13 +1,16 @@
 /* To get syscall() we need to define _GNU_SOURCE
  * in modern glibc versions.
  */
+
+/* imported from the kernel source tree */
+#include "asm/unistd.h"
+
+/* for syscall() */
 #include <unistd.h>
-#include <linux/unistd.h>
-#include <sys/types.h>
 
-#include "litmus.h"
+//#include <sys/types.h>
 
-struct np_flag;
+#include "litmus.h"
 
 /*      Syscall stub for setting RT mode and scheduling options */