Rev 1579 | Rev 1585 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1579 | Rev 1583 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | #define __TASK_H__ |
30 | #define __TASK_H__ |
31 | 31 | ||
32 | #include <typedefs.h> |
32 | #include <typedefs.h> |
33 | #include <synch/spinlock.h> |
33 | #include <synch/spinlock.h> |
34 | #include <synch/mutex.h> |
34 | #include <synch/mutex.h> |
- | 35 | #include <synch/futex.h> |
|
35 | #include <adt/btree.h> |
36 | #include <adt/btree.h> |
36 | #include <adt/list.h> |
37 | #include <adt/list.h> |
37 | #include <ipc/ipc.h> |
38 | #include <ipc/ipc.h> |
38 | #include <security/cap.h> |
39 | #include <security/cap.h> |
39 | #include <arch/proc/task.h> |
40 | #include <arch/proc/task.h> |