Index: generic/src/syscall/syscall.c
===================================================================
--- generic/src/syscall/syscall.c	(revision 7c7aae1655a7653ed95980918529a6c78e15b376)
+++ generic/src/syscall/syscall.c	(revision 53f98219259f3ae305745185632cbe185fb7c871)
@@ -63,4 +63,14 @@
 }
 
+/** Dispatch system call */
+__native syscall_handler(__native a1, __native a2, __native a3,
+			 __native a4, __native id)
+{
+	if (id < SYSCALL_END)
+		return syscall_table[id](a1,a2,a3,a4);
+	else
+		panic("Undefined syscall %d", id);
+}
+
 syshandler_t syscall_table[SYSCALL_END] = {
 	sys_io,