| /branches/tracing/kernel/generic/src/syscall/syscall.c |
|---|
| 52,6 → 52,7 |
| #include <sysinfo/sysinfo.h> |
| #include <console/console.h> |
| #include <console/klog.h> |
| #include <udebug.h> |
| /** Print using kernel facility |
| * |
| 108,6 → 109,9 |
| if (THREAD->interrupted) |
| thread_exit(); |
| udebug_syscall_event(); |
| udebug_stopping_point(); |
| return rc; |
| } |
| 158,7 → 162,9 |
| (syshandler_t) sys_sysinfo_value, |
| /* Debug calls */ |
| (syshandler_t) sys_debug_enable_console |
| (syshandler_t) sys_debug_enable_console, |
| (syshandler_t) sys_ipc_connect_task |
| }; |
| /** @} |