Index: arch/amd64/src/syscall.c
===================================================================
--- arch/amd64/src/syscall.c	(revision 631ca4d04a2284ebd54da4b84fc569fab1e212a4)
+++ arch/amd64/src/syscall.c	(revision 018d957e20e03bd2a5c78e93cd9916eb0d1d222b)
@@ -61,12 +61,2 @@
 	write_msr(AMD_MSR_SFMASK, 0x200);
 }
-
-/** 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);
-}