diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-07-13 21:43:57 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-07-13 21:44:16 -0700 |
| commit | cc72987e655578b0529b6c3c8084e810cf40b358 (patch) | |
| tree | a7a99a9406dfef2d4103e85bc0976cb8d039d7e7 /pk/syscall.h | |
| parent | 0bdb8c84092bf7c5eb4c981c620997a5893bfb70 (diff) | |
| download | pk-cc72987e655578b0529b6c3c8084e810cf40b358.zip pk-cc72987e655578b0529b6c3c8084e810cf40b358.tar.gz pk-cc72987e655578b0529b6c3c8084e810cf40b358.tar.bz2 | |
Support Linux ABI and (optionally) virtual memory
Diffstat (limited to 'pk/syscall.h')
| -rw-r--r-- | pk/syscall.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pk/syscall.h b/pk/syscall.h index d39a6a3..f759e83 100644 --- a/pk/syscall.h +++ b/pk/syscall.h @@ -1,4 +1,6 @@ // See LICENSE for license details. - #include <machine/syscall.h> + +void sys_exit(int code) __attribute__((noreturn)); +sysret_t syscall(long a0, long a1, long a2, long a3, long a4, long a5, long n); |