/branches/tracing/kernel/generic/src/syscall/syscall.c |
---|
98,9 → 98,10 |
{ |
unative_t rc; |
if (id < SYSCALL_END) |
if (id < SYSCALL_END) { |
udebug_stoppable_begin(); |
rc = syscall_table[id](a1, a2, a3, a4, a5, a6); |
else { |
} else { |
klog_printf("TASK %llu: Unknown syscall id %llx", TASK->taskid, |
id); |
task_kill(TASK->taskid); |
111,7 → 112,7 |
thread_exit(); |
udebug_syscall_event(); |
udebug_stopping_point(); |
udebug_stoppable_end(); |
return rc; |
} |