Index: kernel/generic/include/synch/futex.h
===================================================================
--- kernel/generic/include/synch/futex.h	(revision 4af185f6b79c7584baf90bdf41a19cdf11f6c69e)
+++ kernel/generic/include/synch/futex.h	(revision 079f4402537f59cd1c6af7767c212795b7015ffd)
@@ -52,5 +52,5 @@
 
 extern void futex_init(void);
-extern unative_t sys_futex_sleep_timeout(uintptr_t, uint32_t, int);
+extern unative_t sys_futex_sleep(uintptr_t);
 extern unative_t sys_futex_wakeup(uintptr_t);