1 /* 2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #ifndef _KERNEL_SYSCALLS_H 6 #define _KERNEL_SYSCALLS_H 7 8 #include <sys/types.h> 9 10 int syscall_dispatcher(unsigned long call_num, void *arg_buffer, uint64 *call_ret); 11 12 #endif /* _KERNEL_SYSCALLS_H */ 13