Index: kernel/generic/include/synch/futex.h
===================================================================
--- kernel/generic/include/synch/futex.h	(revision 4af185f6b79c7584baf90bdf41a19cdf11f6c69e)
+++ kernel/generic/include/synch/futex.h	(revision ccb785b25d3f7a19fad367fc966f5de46b1ef4ab)
@@ -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);