Changes in kernel/generic/include/synch/futex.h [96b02eb9:98000fb] in mainline

File:

• kernel/generic/include/synch/futex.h (modified) (2 diffs)

kernel/generic/include/synch/futex.h

@@ -36 +36 @@
 #define KERN_FUTEX_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 #include <synch/waitq.h>
+#include <genarch/mm/page_ht.h>
+#include <genarch/mm/page_pt.h>
 
 /** Kernel-side futex structure. */
@@ -52 +54 @@
 
 extern void futex_init(void);
-extern sysarg_t sys_futex_sleep(uintptr_t);
-extern sysarg_t sys_futex_wakeup(uintptr_t);
+extern unative_t sys_futex_sleep_timeout(uintptr_t uaddr, uint32_t usec,
+    int flags);
+extern unative_t sys_futex_wakeup(uintptr_t uaddr);
 
 extern void futex_cleanup(void);