diff options
Diffstat (limited to 'src/init/syscalls.c')
-rw-r--r-- | src/init/syscalls.c | 33 |
1 files changed, 19 insertions, 14 deletions
diff --git a/src/init/syscalls.c b/src/init/syscalls.c index a374976..daddde9 100644 --- a/src/init/syscalls.c +++ b/src/init/syscalls.c @@ -1,37 +1,41 @@ -// this file could probably just get generated by a script +/* generated by tools/syscall_wrappers.awk + * don't modify manually, instead run: + * make src/init/syscalls.c + */ #include <shared/syscalls.h> + _Noreturn void _syscall_exit(int ret) { _syscall(_SYSCALL_EXIT, ret, 0, 0, 0); __builtin_unreachable(); } -int _syscall_fork(int flags) { - return _syscall(_SYSCALL_FORK, flags, 0, 0, 0); -} - int _syscall_await(void) { return _syscall(_SYSCALL_AWAIT, 0, 0, 0, 0); } +int _syscall_fork(int flags) { + return _syscall(_SYSCALL_FORK, flags, 0, 0, 0); +} + handle_t _syscall_open(const char __user *path, int len) { return _syscall(_SYSCALL_OPEN, (int)path, len, 0, 0); } -int _syscall_mount(handle_t handle, const char __user *path, int len) { - return _syscall(_SYSCALL_MOUNT, handle, (int)path, len, 0); +int _syscall_mount(handle_t h, const char __user *path, int len) { + return _syscall(_SYSCALL_MOUNT, (int)h, (int)path, len, 0); } -int _syscall_read(handle_t handle, void __user *buf, size_t len, int offset) { - return _syscall(_SYSCALL_READ, handle, (int)buf, (int)len, offset); +int _syscall_read(handle_t h, void __user *buf, size_t len, int offset) { + return _syscall(_SYSCALL_READ, (int)h, (int)buf, (int)len, offset); } -int _syscall_write(handle_t handle, const void __user *buf, size_t len, int offset) { - return _syscall(_SYSCALL_WRITE, handle, (int)buf, (int)len, offset); +int _syscall_write(handle_t h, const void __user *buf, size_t len, int offset) { + return _syscall(_SYSCALL_WRITE, (int)h, (int)buf, (int)len, offset); } -int _syscall_close(handle_t handle) { - return _syscall(_SYSCALL_CLOSE, handle, 0, 0, 0); +int _syscall_close(handle_t h) { + return _syscall(_SYSCALL_CLOSE, (int)h, 0, 0, 0); } handle_t _syscall_fs_fork2(void) { @@ -47,5 +51,6 @@ int _syscall_fs_respond(char __user *buf, int ret) { } int _syscall_memflag(void __user *addr, size_t len, int flags) { - return _syscall(_SYSCALL_MEMFLAG, (int)addr, len, flags, 0); + return _syscall(_SYSCALL_MEMFLAG, (int)addr, (int)len, flags, 0); } + |