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