1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
/* generated by syscall.c.awk
* don't modify manually, instead run:
* make src/user/lib/syscall.c
*/
#include <camellia/syscalls.h>
_Noreturn void _syscall_exit(long ret) {
_syscall(_SYSCALL_EXIT, ret, 0, 0, 0, 0);
__builtin_unreachable();
}
long _syscall_await(void) {
return _syscall(_SYSCALL_AWAIT, 0, 0, 0, 0, 0);
}
long _syscall_fork(int flags, handle_t __user *fs_front) {
return _syscall(_SYSCALL_FORK, (long)flags, (long)fs_front, 0, 0, 0);
}
handle_t _syscall_open(const char __user *path, long len, int flags) {
return (handle_t)_syscall(_SYSCALL_OPEN, (long)path, len, (long)flags, 0, 0);
}
long _syscall_mount(handle_t h, const char __user *path, long len) {
return _syscall(_SYSCALL_MOUNT, (long)h, (long)path, len, 0, 0);
}
handle_t _syscall_dup(handle_t from, handle_t to, int flags) {
return (handle_t)_syscall(_SYSCALL_DUP, (long)from, (long)to, (long)flags, 0, 0);
}
long _syscall_read(handle_t h, void __user *buf, size_t len, long offset) {
return _syscall(_SYSCALL_READ, (long)h, (long)buf, (long)len, offset, 0);
}
long _syscall_write(handle_t h, const void __user *buf, size_t len, long offset, int flags) {
return _syscall(_SYSCALL_WRITE, (long)h, (long)buf, (long)len, offset, (long)flags);
}
long _syscall_close(handle_t h) {
return _syscall(_SYSCALL_CLOSE, (long)h, 0, 0, 0, 0);
}
long _syscall_fs_wait(char __user *buf, long max_len, struct fs_wait_response __user *res) {
return _syscall(_SYSCALL_FS_WAIT, (long)buf, max_len, (long)res, 0, 0);
}
long _syscall_fs_respond(void __user *buf, long ret, int flags) {
return _syscall(_SYSCALL_FS_RESPOND, (long)buf, ret, (long)flags, 0, 0);
}
void __user *_syscall_memflag(void __user *addr, size_t len, int flags) {
return (void __user *)_syscall(_SYSCALL_MEMFLAG, (long)addr, (long)len, (long)flags, 0, 0);
}
long _syscall_pipe(handle_t __user user_ends[2], int flags) {
return _syscall(_SYSCALL_PIPE, (long)user_ends, (long)flags, 0, 0, 0);
}
void _syscall_sleep(long ms) {
return (void)_syscall(_SYSCALL_SLEEP, ms, 0, 0, 0, 0);
}
long _syscall_execbuf(void __user *buf, size_t len) {
return _syscall(_SYSCALL_EXECBUF, (long)buf, (long)len, 0, 0, 0);
}
void _syscall_debug_klog(const void __user *buf, size_t len) {
return (void)_syscall(_SYSCALL_DEBUG_KLOG, (long)buf, (long)len, 0, 0, 0);
}
|
