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