diff --git a/src/kernel/core/syscalls.c b/src/kernel/core/syscalls.c
index 6295b915f9..d7bee88845 100644
--- a/src/kernel/core/syscalls.c
+++ b/src/kernel/core/syscalls.c
@@ -31,6 +31,7 @@
 #include <sys/ioccom.h>
 #include <sys/socket.h>
 #include <user_atomic.h>
+#include <safemode.h>
 
 
 static inline
@@ -40,14 +41,6 @@ _user_null()
 	return 0;
 }
 
-// 
-static inline
-bigtime_t
-_user_system_time()
-{
-	return system_time();
-}
-
 // map to the arch specific call
 static inline
 int64