15 lines
371 B
C
15 lines
371 B
C
/*
|
|
* define the syscall numbers of PKE OS kernel.
|
|
*/
|
|
#ifndef _SYSCALL_H_
|
|
#define _SYSCALL_H_
|
|
|
|
// syscalls of PKE OS kernel. append below if adding new syscalls.
|
|
#define SYS_user_base 64
|
|
#define SYS_user_print (SYS_user_base + 0)
|
|
#define SYS_user_exit (SYS_user_base + 1)
|
|
|
|
long do_syscall(long a0, long a1, long a2, long a3, long a4, long a5, long a6, long a7);
|
|
|
|
#endif
|