Index: kernel/generic/include/synch/futex.h
===================================================================
--- kernel/generic/include/synch/futex.h	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/include/synch/futex.h	(revision 2fc9bfdff4f7f7961c56c7e4f3521ee05f4582e8)
@@ -53,5 +53,5 @@
 
 extern void futex_init(void);
-extern sys_errno_t sys_futex_sleep(uintptr_t);
+extern sys_errno_t sys_futex_sleep(uintptr_t, uintptr_t);
 extern sys_errno_t sys_futex_wakeup(uintptr_t);
 
Index: kernel/generic/include/synch/waitq.h
===================================================================
--- kernel/generic/include/synch/waitq.h	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/generic/include/synch/waitq.h	(revision 2fc9bfdff4f7f7961c56c7e4f3521ee05f4582e8)
@@ -62,4 +62,7 @@
 	int missed_wakeups;
 
+	/** Number of wakeups that need to be ignored due to futex timeout. */
+	int ignore_wakeups;
+
 	/** List of sleeping threads for which there was no missed_wakeup. */
 	list_t sleepers;