/kernel/trunk/generic/src/ipc/ipc.c |
---|
435,7 → 435,7 |
/* Wait for all async answers to arrive */ |
while (atomic_get(&task->active_calls)) { |
call = ipc_wait_for_call(&task->answerbox, 0); |
ASSERT(call->flags & IPC_CALL_ANSWERED); |
ASSERT((call->flags & IPC_CALL_ANSWERED) || (call->flags & IPC_CALL_NOTIF)); |
ASSERT(! (call->flags & IPC_CALL_STATIC_ALLOC)); |
atomic_dec(&task->active_calls); |
/kernel/trunk/arch/mips32/src/interrupt.c |
---|
102,7 → 102,6 |
int_register(1, "swint1", swint1); |
} |
#include <print.h> |
static void ipc_int(int n, istate_t *istate) |
{ |
ipc_irq_send_notif(n-INT_OFFSET); |