Index: kernel/generic/include/syscall/syscall.h
===================================================================
--- kernel/generic/include/syscall/syscall.h	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/generic/include/syscall/syscall.h	(revision bd1deed7b64271415d7ecf3951bd917d8093536f)
@@ -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];