Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 7c5bcc0ed45d9e1884bc1d0446ed5b150f1cb810)
+++ kernel/generic/src/syscall/syscall.c	(revision 9cc0d7c4f78aa4efea62a2d761476193f7e7717d)
@@ -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);