105 |
l4_word_t header_loc; |
l4_word_t header_loc; |
106 |
l4_word_t header_size; |
l4_word_t header_size; |
107 |
|
|
108 |
/* The task control capability for this module. Not used for the |
/* The task control capability for this module. Initialized after |
109 |
task server task. Initialized after the task server starts |
the task server starts up. */ |
|
up. */ |
|
110 |
hurd_cap_handle_t task_ctrl; |
hurd_cap_handle_t task_ctrl; |
111 |
|
|
112 |
/* Server thread and the initial main thread of the task made from |
/* Server thread and the initial main thread of the task made from |