147,6 → 147,19 |
ipc_answer(&TASK->kernel_box, call); |
} |
|
static void udebug_receive_set_evmask(call_t *call) |
{ |
int rc; |
udebug_evmask_t mask; |
|
mask = IPC_GET_ARG2(call->data); |
rc = udebug_set_evmask(mask); |
|
IPC_SET_RETVAL(call->data, rc); |
ipc_answer(&TASK->kernel_box, call); |
} |
|
|
static void udebug_receive_go(call_t *call) |
{ |
thread_t *t; |
431,6 → 444,9 |
case UDEBUG_M_END: |
udebug_receive_end(call); |
break; |
case UDEBUG_M_SET_EVMASK: |
udebug_receive_set_evmask(call); |
break; |
case UDEBUG_M_GO: |
udebug_receive_go(call); |
break; |