//kernel/trunk/generic/include/proc/task.h |
---|
34,6 → 34,7 |
#include <adt/btree.h> |
#include <adt/list.h> |
#include <ipc/ipc.h> |
#include <security/cap.h> |
/** Task structure. */ |
struct task { |
43,6 → 44,8 |
as_t *as; /**< Address space. */ |
task_id_t taskid; /**< Unique identity of task */ |
cap_t capabilities; /**< Task capabilities. */ |
/* IPC stuff */ |
answerbox_t answerbox; /**< Communication endpoint */ |
phone_t phones[IPC_MAX_PHONES]; |