Rev 1159 | Rev 1176 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1159 | Rev 1174 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | #include <typedefs.h> |
32 | #include <typedefs.h> |
33 | #include <synch/spinlock.h> |
33 | #include <synch/spinlock.h> |
34 | #include <adt/btree.h> |
34 | #include <adt/btree.h> |
35 | #include <adt/list.h> |
35 | #include <adt/list.h> |
36 | #include <ipc/ipc.h> |
36 | #include <ipc/ipc.h> |
- | 37 | #include <security/cap.h> |
|
37 | 38 | ||
38 | /** Task structure. */ |
39 | /** Task structure. */ |
39 | struct task { |
40 | struct task { |
40 | SPINLOCK_DECLARE(lock); |
41 | SPINLOCK_DECLARE(lock); |
41 | char *name; |
42 | char *name; |
42 | link_t th_head; /**< List of threads contained in this task. */ |
43 | link_t th_head; /**< List of threads contained in this task. */ |
43 | as_t *as; /**< Address space. */ |
44 | as_t *as; /**< Address space. */ |
44 | task_id_t taskid; /**< Unique identity of task */ |
45 | task_id_t taskid; /**< Unique identity of task */ |
45 | 46 | ||
- | 47 | cap_t capabilities; /**< Task capabilities. */ |
|
- | 48 | ||
46 | /* IPC stuff */ |
49 | /* IPC stuff */ |
47 | answerbox_t answerbox; /**< Communication endpoint */ |
50 | answerbox_t answerbox; /**< Communication endpoint */ |
48 | phone_t phones[IPC_MAX_PHONES]; |
51 | phone_t phones[IPC_MAX_PHONES]; |
49 | atomic_t active_calls; /**< Active asynchronous messages */ |
52 | atomic_t active_calls; /**< Active asynchronous messages */ |
50 | }; |
53 | }; |