Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision d9ece1cb4b86e7a2d4c513bf4f6e95007768812f)
+++ kernel/generic/src/syscall/syscall.c	(revision 22e6802c4fece061e824ee107b0e2fff8c15e85b)
@@ -118,5 +118,5 @@
 	
 	/* Synchronization related syscalls. */
-	(syshandler_t) sys_futex_sleep_timeout,
+	(syshandler_t) sys_futex_sleep,
 	(syshandler_t) sys_futex_wakeup,
 	(syshandler_t) sys_smc_coherence,