| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | setxid.c | 16 int ret = -__syscall(c->nr, c->id, c->eid, c->sid); local
17 if (ret && !c->err) {
25 c->err = ret;
|
| /seL4-refos-master/kernel/tools/hardware/ |
| H A D | memory.py | 23 ret = Region(other.base, other.size)
24 return ret
45 ret = Region(start, end - start, owner)
46 return ret
64 ret = []
67 ret.append(Region.from_range(self.base, excluded.base, self.owner))
71 ret.append(Region.from_range(excluded.base + excluded.size,
77 ret.append(Region.from_range(excluded.base + excluded.size,
79 return ret
101 ret
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | serial.c | 43 int ret = uart_getchar(d); local
44 if (EOF == ret) {
47 data[i] = ret;
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | serial.c | 43 int ret = uart_getchar(d); local
44 if (EOF == ret) {
47 data[i] = ret;
|
| /seL4-refos-master/libs/libmuslc/src/locale/ |
| H A D | strfmon.c | 81 ssize_t ret; local
84 ret = vstrfmon_l(s, n, loc, fmt, ap);
87 return ret;
94 ssize_t ret; local
97 ret = vstrfmon_l(s, n, CURRENT_LOCALE, fmt, ap);
100 return ret;
|
| /seL4-refos-master/libs/libmuslc/src/fenv/x32/ |
| H A D | fenv.s | 20 ret
30 ret
48 ret
58 ret
66 ret
76 ret
85 ret
97 ret
|
| /seL4-refos-master/libs/libmuslc/src/fenv/x86_64/ |
| H A D | fenv.s | 20 ret
30 ret
48 ret
58 ret
66 ret
76 ret
85 ret
97 ret
|
| /seL4-refos-master/libs/libmuslc/src/fenv/x86_64_sel4/ |
| H A D | fenv.s | 20 ret
30 ret
48 ret
58 ret
66 ret
76 ret
85 ret
97 ret
|
| /seL4-refos-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 38 deriveCap_ret_t ret; local
43 ret.cap = cap;
44 ret.status = EXCEPTION_NONE;
48 ret.cap = cap_null_cap_new();
49 ret.status = EXCEPTION_SYSCALL_ERROR;
51 return ret;
55 ret.cap = cap;
56 ret.status = EXCEPTION_NONE;
60 ret.cap = cap_null_cap_new();
61 ret
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | debug.c | 177 word_t ret; \
181 MRC(MAKE_ ## _reg(1), ret); \
182 return ret; \
184 MRC(MAKE_ ## _reg(2), ret); \
185 return ret; \
187 MRC(MAKE_ ## _reg(3), ret); \
188 return ret; \
190 MRC(MAKE_ ## _reg(4), ret); \
191 return ret; \
193 MRC(MAKE_ ## _reg(5), ret); \
599 getBreakpoint_t ret; local
941 int i, ret = -1; local
998 fault_status_t ret; local
1083 seL4_Fault_t ret; local
[all...] |
| /seL4-refos-master/libs/libsel4allocman/src/mspace/ |
| H A D | fixed_pool.c | 46 void *ret; local
48 ret = mspace_k_r_malloc_alloc(&fixed_pool->k_r_malloc, bytes);
49 if (ret == NULL) {
54 return ret;
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | fixed_pool.c | 46 void *ret; local
48 ret = mspace_k_r_malloc_alloc(&fixed_pool->k_r_malloc, bytes);
49 if (ret == NULL) {
54 return ret;
|
| /seL4-refos-master/libs/libmuslc/src/internal/x32/ |
| H A D | syscall.s | 13 ret
|
| /seL4-refos-master/libs/libmuslc/src/internal/x86_64/ |
| H A D | syscall.s | 13 ret
|
| /seL4-refos-master/libs/libmuslc/src/linux/x32/ |
| H A D | sysinfo.c | 27 int ret = syscall(SYS_sysinfo, &tmp); local
28 if(ret == -1) return ret;
47 return ret;
|
| /seL4-refos-master/libs/libmuslc/src/math/i386/ |
| H A D | remainder.s | 14 ret
|
| H A D | remainderf.s | 14 ret
|
| /seL4-refos-master/libs/libmuslc/src/math/i386_sel4/ |
| H A D | remainder.s | 14 ret
|
| H A D | remainderf.s | 14 ret
|
| /seL4-refos-master/libs/libmuslc/src/math/x32/ |
| H A D | acosl.s | 16 ret
|
| /seL4-refos-master/libs/libmuslc/src/math/x86_64/ |
| H A D | acosl.s | 16 ret
|
| /seL4-refos-master/libs/libmuslc/src/math/x86_64_sel4/ |
| H A D | acosl.s | 16 ret
|
| /seL4-refos-master/libs/libmuslc/src/process/i386/ |
| H A D | vfork.s | 14 ret
|
| /seL4-refos-master/libs/libmuslc/src/process/ |
| H A D | posix_spawn.c | 41 int i, ret; local
77 if ((ret=__syscall(SYS_setpgid, 0, attr->__pgrp)))
84 if ((ret=__syscall(SYS_setgid, __syscall(SYS_getgid))) ||
85 (ret=__syscall(SYS_setuid, __syscall(SYS_getuid))) )
98 ret = __syscall(SYS_dup, p);
99 if (ret < 0) goto fail;
101 p = ret;
108 if ((ret=__sys_dup2(op->srcfd, op->fd))<0)
113 if ((ret=fd) < 0) goto fail;
115 if ((ret
[all...] |
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_chardev.c | 49 int ret; local
53 ret = keyboard_getchar(d);
54 if (ret != EOF) {
55 *data++ = ret;
|