| 456,7 → 456,7 |
|---|
| ipl_t ipl; |
| call_t *call; |
| |
| call = ipc_call_alloc(0); |
| call = notify_box ? ipc_call_alloc(0) : NULL; |
| |
| /* Disconnect all phones connected to our answerbox */ |
| restart_phones: |
| 510,6 → 510,8 |
|---|
| if (call) ipc_call_free(call); |
| } |
| |
| #ifdef CONFIG_UDEBUG |
| |
| static void ipc_kbox_cleanup() |
| { |
| bool have_kb_thread; |
| 546,6 → 548,7 |
|---|
| spinlock_unlock(&TASK->kernel_box.lock); |
| } |
| |
| #endif |
| |
| /** Cleans up all IPC communication of the current task. |
| * |
| 567,8 → 570,10 |
|---|
| /* Disconnect all phones connected to our regular answerbox */ |
| ipc_answerbox_slam_phones(&TASK->answerbox, false); |
| |
| #ifdef CONFIG_UDEBUG |
| /* Clean up kbox thread and communications */ |
| ipc_kbox_cleanup(); |
| #endif |
| |
| /* Answer all messages in 'calls' and 'dispatched_calls' queues */ |
| spinlock_lock(&TASK->answerbox.lock); |
| 723,6 → 728,8 |
|---|
| spinlock_unlock(&task->lock); |
| } |
| |
| #ifdef CONFIG_UDEBUG |
| |
| #include <ipc/ipcrsc.h> |
| #include <print.h> |
| #include <udebug/udebug_ipc.h> |
| 864,5 → 871,7 |
|---|
| return newphid; |
| } |
| |
| #endif /* defined(CONFIG_UDEBUG) */ |
| |
| /** @} |
| */ |