Rev 3597 | Rev 4377 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3597 | Rev 3623 | ||
|---|---|---|---|
| Line 162... | Line 162... | ||
| 162 | #ifdef CONFIG_UDEBUG |
162 | #ifdef CONFIG_UDEBUG |
| 163 | /* Init debugging stuff */ |
163 | /* Init debugging stuff */ |
| 164 | udebug_task_init(&ta->udebug); |
164 | udebug_task_init(&ta->udebug); |
| 165 | 165 | ||
| 166 | /* Init kbox stuff */ |
166 | /* Init kbox stuff */ |
| 167 | ipc_answerbox_init(&ta->kernel_box, ta); |
167 | ipc_answerbox_init(&ta->kb.box, ta); |
| 168 | ta->kb_thread = NULL; |
168 | ta->kb.thread = NULL; |
| 169 | mutex_initialize(&ta->kb_cleanup_lock, MUTEX_PASSIVE); |
169 | mutex_initialize(&ta->kb.cleanup_lock, MUTEX_PASSIVE); |
| 170 | ta->kb_finished = false; |
170 | ta->kb.finished = false; |
| 171 | #endif |
171 | #endif |
| 172 | 172 | ||
| 173 | ipc_answerbox_init(&ta->answerbox, ta); |
173 | ipc_answerbox_init(&ta->answerbox, ta); |
| 174 | for (i = 0; i < IPC_MAX_PHONES; i++) |
174 | for (i = 0; i < IPC_MAX_PHONES; i++) |
| 175 | ipc_phone_init(&ta->phones[i]); |
175 | ipc_phone_init(&ta->phones[i]); |