/kernel/trunk/arch/amd64/include/syscall.h |
---|
31,7 → 31,8 |
#include <arch/types.h> |
extern __native syscall_handler(__native id, __native a1, __native a2, __native a3); |
extern __native syscall_handler(__native a1,__native a2, __native a3, |
__native a4, __native id); |
extern void syscall_setup_cpu(void); |
#endif |
/kernel/trunk/arch/amd64/src/syscall.c |
---|
63,10 → 63,10 |
/** Dispatch system call */ |
__native syscall_handler(__native a1, __native a2, __native a3, |
__native id) |
__native a4, __native id) |
{ |
if (id < SYSCALL_END) |
return syscall_table[id](a1,a2,a3); |
return syscall_table[id](a1,a2,a3,a4); |
else |
panic("Undefined syscall %d", id); |
} |