1 files changed, 11 insertions, 18 deletions

diff --git a/src/syscalls.c b/src/syscalls.c
index 77a6277..d800141 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 */
 
@@ -41,24 +44,14 @@ int od_close(int od)
         return syscall(__NR_od_close, od);
 }
 
-int fmlp_down(int od)
-{
-        return syscall(__NR_fmlp_down, od);
-}
-
-int fmlp_up(int od)
-{
-        return syscall(__NR_fmlp_up, od);
-}
-
-int srp_down(int od)
+int litmus_lock(int od)
 {
-        return syscall(__NR_srp_down, od);
+        return syscall(__NR_litmus_lock, od);
 }
 
-int srp_up(int od)
+int litmus_unlock(int od)
 {
-        return syscall(__NR_srp_up, od);
+        return syscall(__NR_litmus_unlock, od);
 }
 
 int get_job_no(unsigned int *job_no)