/seL4-refos-master/libs/libmuslc/crt/riscv/ |
H A D | crtn.s | 2 ret 5 ret
|
/seL4-refos-master/libs/libmuslc/crt/riscv_sel4/ |
H A D | crtn.s | 2 ret 5 ret
|
/seL4-refos-master/libs/libmuslc/src/mq/ |
H A D | mq_unlink.c | 7 int ret; local 9 ret = __syscall(SYS_mq_unlink, name); 10 if (ret < 0) { 11 if (ret == -EPERM) ret = -EACCES; 12 errno = -ret; 15 return ret;
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | sockatmark.c | 6 int ret; local 7 if (ioctl(s, SIOCATMARK, &ret) < 0) 9 return ret;
|
H A D | accept4.c | 11 int ret = socketcall_cp(accept4, fd, addr, len, flg, 0, 0); local 12 if (ret>=0 || (errno != ENOSYS && errno != EINVAL)) return ret; 13 ret = accept(fd, addr, len); 14 if (ret<0) return ret; 16 __syscall(SYS_fcntl, ret, F_SETFD, FD_CLOEXEC); 18 __syscall(SYS_fcntl, ret, F_SETFL, O_NONBLOCK); 19 return ret;
|
/seL4-refos-master/libs/libmuslc/crt/i386/ |
H A D | crtn.s | 3 ret 7 ret
|
/seL4-refos-master/libs/libmuslc/crt/i386_sel4/ |
H A D | crtn.s | 3 ret 7 ret
|
/seL4-refos-master/libs/libmuslc/crt/x32/ |
H A D | crtn.s | 3 ret 7 ret
|
/seL4-refos-master/libs/libmuslc/crt/x86_64/ |
H A D | crtn.s | 3 ret 7 ret
|
/seL4-refos-master/libs/libmuslc/crt/x86_64_sel4/ |
H A D | crtn.s | 3 ret 7 ret
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | getpriority.c | 6 int ret = syscall(SYS_getpriority, which, who); local 7 if (ret < 0) return ret; 8 return 20-ret;
|
/seL4-refos-master/libs/libutils/src/arch/arm/ |
H A D | stack.c | 21 void *ret; local 28 "mov %[ret], x0\n\t" 29 : [ret] "=r" (ret) 37 void *ret; 44 "mov %[ret], r0\n\t" 45 : [ret] "=r" (ret) 54 return ret;
|
/seL4-refos-master/projects/util_libs/libutils/src/arch/arm/ |
H A D | stack.c | 21 void *ret; local 28 "mov %[ret], x0\n\t" 29 : [ret] "=r" (ret) 37 void *ret; 44 "mov %[ret], r0\n\t" 45 : [ret] "=r" (ret) 54 return ret;
|
/seL4-refos-master/libs/libmuslc/src/stdio/ |
H A D | __stdio_seek.c | 5 off_t ret; local 7 if (syscall(SYS__llseek, f->fd, off>>32, off, &ret, whence)<0) 8 ret = -1; 10 ret = syscall(SYS_lseek, f->fd, off, whence); 12 return ret;
|
H A D | gets.c | 7 char *ret = fgets(s, INT_MAX, stdin); local 8 if (ret && s[strlen(s)-1] == '\n') s[strlen(s)-1] = 0; 9 return ret;
|
H A D | printf.c | 6 int ret; local 9 ret = vfprintf(stdout, fmt, ap); 11 return ret;
|
/seL4-refos-master/kernel/include/arch/x86/arch/32/mode/machine/ |
H A D | debug.h | 16 word_t ret; local 20 : "=r"(ret)); 21 return ret; 34 word_t ret; local 38 : "=r"(ret)); 39 return ret; 52 word_t ret; local 57 asm volatile("movl %%dr0, %0 \n\t" : "=r"(ret)); 60 asm volatile("movl %%dr1, %0 \n\t" : "=r"(ret)); 63 asm volatile("movl %%dr2, %0 \n\t" : "=r"(ret)); [all...] |
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/machine/ |
H A D | debug.h | 17 word_t ret; local 21 : "=r"(ret)); 22 return ret; 35 word_t ret; local 39 : "=r"(ret)); 40 return ret; 53 word_t ret; local 58 asm volatile("movq %%dr0, %0 \n\t" : "=r"(ret)); 61 asm volatile("movq %%dr1, %0 \n\t" : "=r"(ret)); 64 asm volatile("movq %%dr2, %0 \n\t" : "=r"(ret)); [all...] |
/seL4-refos-master/libs/libmuslc/src/dirent/ |
H A D | closedir.c | 8 int ret = close(dir->fd); local 10 return ret;
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | signalfd.c | 9 int ret = __syscall(SYS_signalfd4, fd, sigs, _NSIG/8, flags); local 11 if (ret != -ENOSYS) return __syscall_ret(ret); 12 ret = __syscall(SYS_signalfd, fd, sigs, _NSIG/8); 13 if (ret >= 0) { 15 __syscall(SYS_fcntl, ret, F_SETFD, FD_CLOEXEC); 17 __syscall(SYS_fcntl, ret, F_SETFL, O_NONBLOCK); 20 return __syscall_ret(ret);
|
/seL4-refos-master/libs/libmuslc/src/signal/ |
H A D | siglongjmp.c | 6 _Noreturn void siglongjmp(sigjmp_buf buf, int ret) argument 8 longjmp(buf, ret);
|
/seL4-refos-master/libs/libmuslc/src/fcntl/ |
H A D | fcntl.c | 19 int ret = __syscall(SYS_fcntl, fd, F_GETOWN_EX, &ex); local 20 if (ret == -EINVAL) return __syscall(SYS_fcntl, fd, cmd, (void *)arg); 21 if (ret) return __syscall_ret(ret); 25 int ret = __syscall(SYS_fcntl, fd, F_DUPFD_CLOEXEC, arg); local 26 if (ret != -EINVAL) { 27 if (ret >= 0) 28 __syscall(SYS_fcntl, ret, F_SETFD, FD_CLOEXEC); 29 return __syscall_ret(ret); 31 ret [all...] |
/seL4-refos-master/libs/libmuslc/arch/x86_64/ |
H A D | syscall_arch.h | 6 unsigned long ret; local 7 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n) : "rcx", "r11", "memory"); 8 return ret; 13 unsigned long ret; local 14 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1) : "rcx", "r11", "memory"); 15 return ret; 20 unsigned long ret; local 21 __asm__ __volatile__ ("syscall" : "=a"(ret) : "a"(n), "D"(a1), "S"(a2) 23 return ret; 28 unsigned long ret; local 36 unsigned long ret; local 45 unsigned long ret; local 55 unsigned long ret; local [all...] |
/seL4-refos-master/libs/libutils/src/arch/riscv/ |
H A D | stack.c | 19 void *ret; local 26 "mv %[ret], a0\n\t" 27 : [ret] "=r" (ret) 33 return ret;
|
/seL4-refos-master/libs/libmuslc/crt/aarch64/ |
H A D | crtn.s | 3 ret 7 ret
|