Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/generic/include/syscall/syscall.h	(revision 31d8e103d56f8142eb714a22e4d2cbd7e22e5b5a)
@@ -73,5 +73,5 @@
 #include <arch/types.h>
 
-typedef unative_t (*syshandler_t)();
+typedef unative_t (*syshandler_t)(unative_t, unative_t, unative_t, unative_t);
 
 extern syshandler_t syscall_table[SYSCALL_END];