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) */ |
|
/** @} |
*/ |