Index: kernel/generic/include/synch/futex.h
===================================================================
--- kernel/generic/include/synch/futex.h	(revision 41df2827457b04499fb5258c1cecc1ba5c7670bd)
+++ kernel/generic/include/synch/futex.h	(revision 4af185f6b79c7584baf90bdf41a19cdf11f6c69e)
@@ -38,6 +38,4 @@
 #include <arch/types.h>
 #include <synch/waitq.h>
-#include <genarch/mm/page_ht.h>
-#include <genarch/mm/page_pt.h>
 
 /** Kernel-side futex structure. */
@@ -54,7 +52,6 @@
 
 extern void futex_init(void);
-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 unative_t sys_futex_sleep_timeout(uintptr_t, uint32_t, int);
+extern unative_t sys_futex_wakeup(uintptr_t);
 
 extern void futex_cleanup(void);