/kernel/trunk/generic/include/proc/task.h |
40,6 → 40,8 |
link_t th_head; /**< List of threads contained in this task. */ |
link_t tasks_link; /**< Link to other tasks within the system. */ |
as_t *as; /**< Address space. */ |
task_id_t taskid; /**< Unique identity of task */ |
|
/* IPC stuff */ |
answerbox_t answerbox; /**< Communication endpoint */ |
phone_t phones[IPC_MAX_PHONES]; |
/kernel/trunk/generic/include/typedefs.h |
38,6 → 38,8 |
typedef unsigned long count_t; |
typedef unsigned long index_t; |
|
typedef unsigned long long task_id_t; |
|
typedef struct config config_t; |
typedef struct cpu_info cpu_info_t; |
|