void ksyscall(int call); void syscall_entry(); void init_syscalls(void);