| 40,7 → 40,6 |
|---|
| #include <func.h> |
| #include <console/kconsole.h> |
| #include <arch/debugger.h> |
| #include <syscall/syscall.h> |
| |
| static char * exctable[] = { |
| "Interrupt","TLB Modified","TLB Invalid","TLB Invalid Store", |
| 129,14 → 128,6 |
|---|
| exc_dispatch(i+INT_OFFSET, istate); |
| } |
| |
| __native syscall_handler(__native a0, __native a1, __native a2, |
| __native a3, __native sysnum) |
| { |
| if (sysnum < SYSCALL_END) |
| return syscall_table[sysnum](a0,a1,a2,a3); |
| panic("Undefined syscall %d", sysnum); |
| } |
| |
| /** Handle syscall userspace call */ |
| static void syscall_exception(int n, istate_t *istate) |
| { |