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 | }; |