| /kernel/trunk/generic/include/proc/task.h |
|---|
| 32,7 → 32,6 |
| #include <typedefs.h> |
| #include <synch/spinlock.h> |
| #include <synch/mutex.h> |
| #include <synch/futex.h> |
| #include <adt/btree.h> |
| #include <adt/list.h> |
| #include <ipc/ipc.h> |
| /kernel/trunk/generic/include/synch/futex.h |
|---|
| 47,6 → 47,4 |
| extern __native sys_futex_sleep_timeout(__address uaddr, __u32 usec, int flags); |
| extern __native sys_futex_wakeup(__address uaddr); |
| extern void futex_cleanup(void); |
| #endif |