Rev 2216 | Rev 2605 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2216 | Rev 2467 | ||
|---|---|---|---|
| Line 90... | Line 90... | ||
| 90 | arch_grab_console(); |
90 | arch_grab_console(); |
| 91 | return 0; |
91 | return 0; |
| 92 | } |
92 | } |
| 93 | 93 | ||
| 94 | /** Dispatch system call */ |
94 | /** Dispatch system call */ |
| 95 | unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, |
95 | unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, unative_t a4, |
| 96 | unative_t a4, unative_t id) |
96 | unative_t id) |
| 97 | { |
97 | { |
| 98 | unative_t rc; |
98 | unative_t rc; |
| 99 | 99 | ||
| 100 | if (id < SYSCALL_END) |
100 | if (id < SYSCALL_END) |
| 101 | rc = syscall_table[id](a1, a2, a3, a4); |
101 | rc = syscall_table[id](a1, a2, a3, a4); |
| 102 | else { |
102 | else { |
| 103 | klog_printf("TASK %llu: Unknown syscall id %d",TASK->taskid,id); |
103 | klog_printf("TASK %llu: Unknown syscall id %d", TASK->taskid, |
| - | 104 | id); |
|
| 104 | task_kill(TASK->taskid); |
105 | task_kill(TASK->taskid); |
| 105 | thread_exit(); |
106 | thread_exit(); |
| 106 | } |
107 | } |
| 107 | 108 | ||
| 108 | if (THREAD->interrupted) |
109 | if (THREAD->interrupted) |