2002-07-09 16:24:59 +04:00
|
|
|
/*
|
|
|
|
** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
|
|
|
|
** Distributed under the terms of the NewOS License.
|
|
|
|
*/
|
|
|
|
#ifndef _KERNEL_SYSCALLS_H
|
|
|
|
#define _KERNEL_SYSCALLS_H
|
|
|
|
|
2002-10-16 20:17:28 +04:00
|
|
|
#include <sys/types.h>
|
|
|
|
|
2002-07-09 16:24:59 +04:00
|
|
|
int syscall_dispatcher(unsigned long call_num, void *arg_buffer, uint64 *call_ret);
|
|
|
|
|
2002-10-16 20:17:28 +04:00
|
|
|
#endif /* _KERNEL_SYSCALLS_H */
|