| 329,14 → 329,11 |
|---|
| /* This event does not sleep - debugging has finished in this thread */ |
| } |
| |
| void udebug_breakpoint_event(uintptr_t addr) |
| static void breakpoint_trap_event(uintptr_t addr, udebug_event_t etype) |
| { |
| call_t *call; |
| ipl_t ipl; |
| udebug_event_t etype; |
| |
| etype = UDEBUG_EVENT_BREAKPOINT; |
| |
| ipl = interrupts_disable(); |
| spinlock_lock(&THREAD->debug_lock); |
| |
| 349,7 → 346,7 |
|---|
| return; |
| } |
| |
| klog_printf("udebug_breakpoint_event"); |
| klog_printf("udebug_breakpoint/trap_event"); |
| call = THREAD->debug_go_call; |
| IPC_SET_RETVAL(call->data, 0); |
| IPC_SET_ARG1(call->data, etype); |
| 374,7 → 371,16 |
|---|
| udebug_wait_for_go(&THREAD->go_wq); |
| } |
| |
| void udebug_breakpoint_event(uintptr_t addr) |
| { |
| breakpoint_trap_event(addr, UDEBUG_EVENT_BREAKPOINT); |
| } |
| |
| void udebug_trap_event(uintptr_t addr) |
| { |
| breakpoint_trap_event(addr, UDEBUG_EVENT_TRAP); |
| } |
| |
| /** |
| * Terminate task debugging session. |
| * |