| 44,8 → 44,6 |
|---|
| #include <errno.h> |
| #include <arch.h> |
| #include <debug.h> |
| #include <tdebug/tdebug.h> |
| #include <tdebug/systdebug.h> |
| #include <ipc/sysipc.h> |
| #include <synch/futex.h> |
| #include <ddi/ddi.h> |
| 107,15 → 105,7 |
|---|
| task_kill(TASK->taskid); |
| thread_exit(); |
| } |
| |
| if (tdebug_have_monitor()) { |
| /* generate a syscall debug event */ |
| tdebug_syscall_event(a1, a2, a3, a4, a5, a6, id, rc); |
| |
| /* a good place to stop */ |
| tdebug_stopping_point(); |
| } |
| |
| |
| if (THREAD->interrupted) |
| thread_exit(); |
| |
| 168,16 → 158,7 |
|---|
| (syshandler_t) sys_sysinfo_value, |
| |
| /* Debug calls */ |
| (syshandler_t) sys_debug_enable_console, |
| |
| /* Task debugging calls */ |
| (syshandler_t) sys_tdebug_attach_task, |
| (syshandler_t) sys_tdebug_detach_task, |
| (syshandler_t) sys_tdebug_continue_thread, |
| (syshandler_t) sys_tdebug_get_syscall_args, |
| (syshandler_t) sys_tdebug_set_event_mask, |
| (syshandler_t) sys_tdebug_stop_thread, |
| (syshandler_t) sys_tdebug_stop_task |
| (syshandler_t) sys_debug_enable_console |
| }; |
| |
| /** @} |