/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | syscalls.h | 18 long sys_set_thread_area(va_list ap); 19 long sys_set_tid_address(va_list ap); 20 long sys_sched_yield(va_list ap); 21 long sys_exit(va_list ap); 22 long sys_rt_sigprocmask(va_list ap); 23 long sys_gettid(va_list ap); 24 long sys_getpid(va_list ap); 25 long sys_tgkill(va_list ap); 26 long sys_tkill(va_list ap); 27 long sys_exit_group(va_list ap); [all...] |
H A D | sys_thread.c | 16 long sys_set_thread_area(va_list ap) { argument 25 long sys_set_tid_address(va_list ap) { argument
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | syscalls.h | 29 long camkes_sys_set_tid_address(va_list ap); 30 long camkes_sys_sched_yield(va_list ap); 31 long camkes_sys_exit(va_list ap); 32 long camkes_sys_gettid(va_list ap); 33 long camkes_sys_getpid(va_list ap); 34 long camkes_sys_getppid(va_list ap); 35 long camkes_sys_tgkill(va_list ap); 36 long camkes_sys_brk(va_list ap); 37 long camkes_sys_mlock(va_list ap); 38 long camkes_sys_munlock(va_list ap); [all...] |
/seL4-camkes-master/projects/musllibc/src/stdio/ |
H A D | printf.c | 7 va_list ap; local 8 va_start(ap, fmt); 9 ret = vfprintf(stdout, fmt, ap); 10 va_end(ap);
|
H A D | vprintf.c | 3 int vprintf(const char *restrict fmt, va_list ap) argument 5 return vfprintf(stdout, fmt, ap);
|
H A D | vsprintf.c | 4 int vsprintf(char *restrict s, const char *restrict fmt, va_list ap) argument 6 return vsnprintf(s, INT_MAX, fmt, ap);
|
H A D | vwprintf.c | 4 int vwprintf(const wchar_t *restrict fmt, va_list ap) argument 6 return vfwprintf(stdout, fmt, ap);
|
H A D | asprintf.c | 8 va_list ap; local 9 va_start(ap, fmt); 10 ret = vasprintf(s, fmt, ap); 11 va_end(ap);
|
H A D | dprintf.c | 7 va_list ap; local 8 va_start(ap, fmt); 9 ret = vdprintf(fd, fmt, ap); 10 va_end(ap);
|
H A D | fprintf.c | 7 va_list ap; local 8 va_start(ap, fmt); 9 ret = vfprintf(f, fmt, ap); 10 va_end(ap);
|
H A D | fscanf.c | 8 va_list ap; local 9 va_start(ap, fmt); 10 ret = vfscanf(f, fmt, ap); 11 va_end(ap);
|
H A D | fwprintf.c | 8 va_list ap; local 9 va_start(ap, fmt); 10 ret = vfwprintf(f, fmt, ap); 11 va_end(ap);
|
H A D | fwscanf.c | 9 va_list ap; local 10 va_start(ap, fmt); 11 ret = vfwscanf(f, fmt, ap); 12 va_end(ap);
|
H A D | scanf.c | 8 va_list ap; local 9 va_start(ap, fmt); 10 ret = vscanf(fmt, ap); 11 va_end(ap);
|
H A D | snprintf.c | 7 va_list ap; local 8 va_start(ap, fmt); 9 ret = vsnprintf(s, n, fmt, ap); 10 va_end(ap);
|
H A D | sprintf.c | 7 va_list ap; local 8 va_start(ap, fmt); 9 ret = vsprintf(s, fmt, ap); 10 va_end(ap);
|
/seL4-camkes-master/projects/musllibc/src/legacy/ |
H A D | err.c | 8 void vwarn(const char *fmt, va_list ap) argument 12 vfprintf(stderr, fmt, ap); 18 void vwarnx(const char *fmt, va_list ap) argument 21 if (fmt) vfprintf(stderr, fmt, ap); 25 _Noreturn void verr(int status, const char *fmt, va_list ap) argument 27 vwarn(fmt, ap); 31 _Noreturn void verrx(int status, const char *fmt, va_list ap) argument 33 vwarnx(fmt, ap); 39 va_list ap; local 40 va_start(ap, fm 47 va_list ap; local 55 va_list ap; local 63 va_list ap; local [all...] |
/seL4-camkes-master/tools/seL4/elfloader-tool/include/ |
H A D | vargs.h | 18 #define va_arg(ap, type) __builtin_va_arg(ap, type) 20 #define va_end(ap) __builtin_va_end(ap) 21 #define va_start(ap, parmN) __builtin_va_start(ap, parmN)
|
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | syscall.c | 8 va_list ap; local 10 va_start(ap, n); 11 a=va_arg(ap, syscall_arg_t); 12 b=va_arg(ap, syscall_arg_t); 13 c=va_arg(ap, syscall_arg_t); 14 d=va_arg(ap, syscall_arg_t); 15 e=va_arg(ap, syscall_arg_t); 16 f=va_arg(ap, syscall_arg_t); 17 va_end(ap);
|
H A D | ioctl.c | 8 va_list ap; local 9 va_start(ap, req); 10 arg = va_arg(ap, void *); 11 va_end(ap);
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | clone.c | 8 va_list ap; local 12 va_start(ap, arg); 13 ptid = va_arg(ap, pid_t *); 14 tls = va_arg(ap, void *); 15 ctid = va_arg(ap, pid_t *); 16 va_end(ap);
|
H A D | prctl.c | 9 va_list ap; local 10 va_start(ap, op); 11 for (i=0; i<4; i++) x[i] = va_arg(ap, unsigned long); 12 va_end(ap);
|
/seL4-camkes-master/projects/musllibc/src/process/ |
H A D | execle.c | 7 va_list ap; local 8 va_start(ap, argv0); 9 for (argc=1; va_arg(ap, const char *); argc++); 10 va_end(ap); 15 va_start(ap, argv0); 18 argv[i] = va_arg(ap, char *); 19 envp = va_arg(ap, char **); 20 va_end(ap);
|
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | printf.c | 32 va_list ap; local 34 va_start(ap, format); 35 ret = vfprintf(stdout, format, ap); 36 va_end(ap);
|
/seL4-camkes-master/tools/rumprun/lib/libbmk_rumpuser/ |
H A D | rumpuser_cons.c | 43 va_list ap; local 45 va_start(ap, fmt); 46 bmk_vprintf(fmt, ap); 47 va_end(ap);
|