44,6 → 44,8 |
#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> |
105,7 → 107,15 |
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(); |
|
158,7 → 168,16 |
(syshandler_t) sys_sysinfo_value, |
|
/* Debug calls */ |
(syshandler_t) sys_debug_enable_console |
(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 |
}; |
|
/** @} |