| 101,13 → 101,18 |
|---|
| unative_t a4, unative_t a5, unative_t a6, unative_t id) |
| { |
| unative_t rc; |
| |
| #ifdef CONFIG_UDEBUG |
| istate_t fake_state; |
| |
| THREAD->udebug.uspace_state = &fake_state; |
| udebug_syscall_event(a1, a2, a3, a4, a5, a6, id, 0, false); |
| #endif |
| |
| if (id < SYSCALL_END) { |
| #ifdef CONFIG_UDEBUG |
| udebug_stoppable_begin(); |
| #endif |
| rc = syscall_table[id](a1, a2, a3, a4, a5, a6); |
| } else { |
| printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id); |
| 118,9 → 123,11 |
|---|
| if (THREAD->interrupted) |
| thread_exit(); |
| |
| #ifdef CONFIG_UDEBUG |
| udebug_syscall_event(a1, a2, a3, a4, a5, a6, id, rc, true); |
| udebug_stoppable_end(); |
| THREAD->udebug.uspace_state = NULL; |
| #endif |
| |
| return rc; |
| } |