Rev 3597 | Rev 4377 | Go to most recent revision | Show entire file | Regard 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]); |