Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision c03ee1c304c982b593d8043411e6b003dd1c155a)
+++ kernel/generic/src/syscall/syscall.c	(revision 7e956eb53e39a5b6b5da0e92b2e789a596d7fc45)
@@ -93,13 +93,13 @@
 
 /** Dispatch system call */
-unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, unative_t a4,
-    unative_t id)
+unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3,
+    unative_t a4, unative_t a5, unative_t a6, unative_t id)
 {
 	unative_t rc;
 
 	if (id < SYSCALL_END)
-		rc = syscall_table[id](a1, a2, a3, a4);
+		rc = syscall_table[id](a1, a2, a3, a4, a5, a6);
 	else {
-		klog_printf("TASK %llu: Unknown syscall id %d", TASK->taskid,
+		klog_printf("TASK %llu: Unknown syscall id %llx", TASK->taskid,
 		    id);
 		task_kill(TASK->taskid);