164,7 → 164,20 |
} |
} |
|
static void udebug_receive_stop(call_t *call) |
{ |
thread_t *t; |
int rc; |
|
klog_printf("debug_stop()"); |
|
t = (thread_t *)IPC_GET_ARG2(call->data); |
|
rc = udebug_stop(t, call); |
IPC_SET_RETVAL(call->data, rc); |
ipc_answer(&TASK->kernel_box, call); |
} |
|
static void udebug_receive_thread_read(call_t *call) |
{ |
unative_t uspace_addr; |
421,6 → 434,9 |
case UDEBUG_M_GO: |
udebug_receive_go(call); |
break; |
case UDEBUG_M_STOP: |
udebug_receive_stop(call); |
break; |
case UDEBUG_M_THREAD_READ: |
udebug_receive_thread_read(call); |
break; |