| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | swprintf.c | 6 int ret; local
|
| H A D | swscanf.c | 7 int ret; local
|
| H A D | wprintf.c | 7 int ret; local
|
| H A D | wscanf.c | 8 int ret; local
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | cnd_timedwait.c | 8 int ret = __pthread_cond_timedwait(c, m, ts); local
|
| H A D | mtx_timedlock.c | 8 int ret = __pthread_mutex_timedlock(m, ts); local
|
| H A D | thrd_sleep.c | 7 int ret = __syscall(SYS_nanosleep, req, rem); local
|
| /seL4-refos-master/libs/libmuslc/src/time/ |
| H A D | timespec_get.c | 10 int ret = __clock_gettime(CLOCK_REALTIME, ts); local
|
| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | fchdir.c | 10 int ret = __syscall(SYS_fchdir, fd); local
|
| H A D | pipe2.c | 9 int ret = __syscall(SYS_pipe2, fd, flag); local
|
| /seL4-refos-master/projects/util_libs/libutils/src/arch/arm/ |
| H A D | stack.c | 21 void *ret; local
|
| /seL4-refos-master/projects/util_libs/libutils/src/arch/riscv/ |
| H A D | stack.c | 19 void *ret; local
|
| /seL4-refos-master/projects/util_libs/libutils/src/arch/x86/ |
| H A D | stack.c | 42 void *ret; local
59 void *ret; local
|
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | printf.c | 31 int ret; local
|
| H A D | stack.c | 35 void *ret = (void*)utils_run_on_stack( local
|
| /seL4-refos-master/libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | tsc.h | 27 ssize_t ret = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_TSC_FREQ, buf, sizeof(buf)); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | printf.c | 31 int ret; local
|
| H A D | stack.c | 35 void *ret = (void*)utils_run_on_stack( local
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | tsc.h | 27 ssize_t ret = simple_get_extended_bootinfo(simple, SEL4_BOOTINFO_HEADER_X86_TSC_FREQ, buf, sizeof(buf)); local
|
| /seL4-refos-master/libs/libmuslc/src/ipc/ |
| H A D | shmat.c | 13 unsigned long ret; local
|
| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | signalfd.c | 9 int ret = __syscall(SYS_signalfd4, fd, sigs, _NSIG/8, flags); local
|
| /seL4-refos-master/libs/libmuslc/src/process/ |
| H A D | fork.c | 16 pid_t ret; local
|
| /seL4-refos-master/libs/libmuslc/src/signal/ |
| H A D | raise.c | 8 int tid, ret; local
|
| H A D | sigtimedwait.c | 8 int ret; local
|
| /seL4-refos-master/libs/libmuslc/src/stat/ |
| H A D | fchmod.c | 10 int ret = __syscall(SYS_fchmod, fd, mode); local
|