/seL4-refos-master/libs/libmuslc/src/math/i386/ |
H A D | atanf.s | 11 ret 19 2: ret
|
H A D | hypot.s | 15 ret 22 ret 31 ret 37 ret 45 1: ret
|
H A D | hypotf.s | 15 ret 21 ret 30 ret 35 ret 42 1: ret
|
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/ |
H A D | atan.s | 11 ret 17 2: ret
|
H A D | atanf.s | 11 ret 19 2: ret
|
H A D | hypot.s | 15 ret 22 ret 31 ret 37 ret 45 1: ret
|
H A D | hypotf.s | 15 ret 21 ret 30 ret 35 ret 42 1: ret
|
/seL4-refos-master/libs/libmuslc/src/thread/i386/ |
H A D | tls.s | 11 ret 17 ret
|
/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | faccessat.c | 24 int ret; local 29 ret = __syscall(SYS_faccessat, c->fd, c->filename, c->amode, 0); 30 for (i=0; i < sizeof errors/sizeof *errors - 1 && ret!=errors[i]; i++); 45 int ret = -EBUSY; local 57 ret = errors[WEXITSTATUS(status)]; 62 return __syscall_ret(ret);
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | machine_asm.S | 25 ret 32 ret 39 ret 46 ret 53 ret 60 ret 72 ret 84 ret 89 ret 94 ret [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | mx6qsabrelite.c | 149 int ret; local 152 ret = imx_iomux_v3_setup_pad(base, *p); 153 if (ret) { 154 return ret; 163 int ret; local 178 ret = imx_iomux_v3_setup_multiple_pads(base, fec1_pads, ARRAY_SIZE(fec1_pads)); 179 if (ret) { 180 return ret; 196 ret = imx_iomux_v3_setup_multiple_pads(base, enet_pads1, ARRAY_SIZE(enet_pads1)); 197 if (ret) { [all...] |
/seL4-refos-master/libs/libmuslc/src/fenv/aarch64/ |
H A D | fenv.s | 6 ret 16 ret 24 ret 34 ret 44 ret 53 ret 67 ret
|
/seL4-refos-master/libs/libmuslc/src/fenv/aarch64_sel4/ |
H A D | fenv.s | 6 ret 16 ret 24 ret 34 ret 44 ret 53 ret 67 ret
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | fmtmsg.c | 27 int ret = 0, i, consolefd, verb = 0; local 44 ret = MM_NOCON; 52 ret = MM_NOCON; 82 ret |= MM_NOMSG; 84 if ((ret & (MM_NOCON|MM_NOMSG)) == (MM_NOCON|MM_NOMSG)) 85 ret = MM_NOTOK; 89 return ret;
|
/seL4-refos-master/kernel/src/arch/x86/machine/ |
H A D | breakpoint.c | 151 convertedTypeAndAccess_t ret; local 174 ret.type = seL4_InstructionBreakpoint; 175 ret.rw = seL4_BreakOnRead; 178 ret.type = seL4_DataBreakpoint; 179 ret.rw = seL4_BreakOnWrite; 183 ret.type = seL4_DataBreakpoint; 184 ret.rw = seL4_BreakOnReadWrite; 187 return ret; 448 getBreakpoint_t ret; local 452 ret 482 bool_t ret; member in struct:__anon110 488 testAndResetSingleStepException_t ret; local 559 getAndResetActiveBreakpoint_t ret; local [all...] |
/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 74 findEPTForASID_ret_t ret; local 81 ret.ept = NULL; 82 ret.status = EXCEPTION_LOOKUP_FAULT; 83 return ret; 86 ret.ept = (ept_pml4e_t *)asid_map_asid_map_ept_get_ept_root(asid_map); 87 ret.status = EXCEPTION_NONE; 88 return ret; 98 lookupEPTPDPTSlot_ret_t ret; local 106 ret.pdptSlot = NULL; 107 ret 120 lookupEPTPDSlot_ret_t ret; local 150 lookupEPTPTSlot_ret_t ret; local 197 EPTPDPTMapped_ret_t ret; local 390 EPTPageDirectoryMapped_ret_t ret; local 579 EPTPageTableMapped_ret_t ret; local [all...] |
/seL4-refos-master/kernel/tools/hardware/outputs/ |
H A D | c_header.py | 148 ret = {} 150 if irq.label in ret: 151 if irq.prio > ret[irq.label].prio: 152 ret[irq.label] = irq 154 ret[irq.label] = irq 156 ret = list(ret.values()) 157 ret.sort(key=lambda a: a.label) 158 return ret
|
/seL4-refos-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 32 deriveCap_ret_t ret; local 37 ret.cap = cap; 38 ret.status = EXCEPTION_NONE; 42 ret.cap = cap_null_cap_new(); 43 ret.status = EXCEPTION_SYSCALL_ERROR; 45 return ret; 49 ret.cap = cap; 50 ret.status = EXCEPTION_NONE; 54 ret.cap = cap_null_cap_new(); 55 ret [all...] |
/seL4-refos-master/libs/libmuslc/src/aio/ |
H A D | aio_suspend.c | 12 int i, tid = 0, ret, expect = 0; local 66 ret = __timedwait_cp(pfut, expect, CLOCK_MONOTONIC, ts?&at:0, 1); 68 switch (ret) { 70 ret = EAGAIN; 73 errno = ret;
|
/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | system.c | 17 int status = 0x7f00, ret; local 36 ret = posix_spawn(&pid, "/bin/sh", 0, &attr, 40 if (!ret) while (waitpid(pid, &status, 0)<0 && errno == EINTR); 45 if (ret) errno = ret;
|
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 207 emit_reference_ret_t ret = { local 215 ret.error = cbor64_tag(streamer, CBOR64_TAG_STRING_REF_DOMAIN); 217 ret.emit_literal = true; 221 ret.error = cbor64_tag(streamer, CBOR64_TAG_SHARED_VALUE); 223 ret.error = cbor64_tag(streamer, CBOR64_TAG_STRING_REF); 225 if (ret.error == 0) { 226 ret.error = cbor64_int(streamer, index); 230 ret.error = new_reference(streamer, domain, index); 231 ret.emit_literal = true; 234 return ret; 242 emit_reference_ret_t ret = emit_reference(streamer, domain, string); local 254 emit_reference_ret_t ret = emit_reference(streamer, domain, string); local [all...] |
/seL4-refos-master/libs/libutils/src/ |
H A D | cbor64.c | 207 emit_reference_ret_t ret = { local 215 ret.error = cbor64_tag(streamer, CBOR64_TAG_STRING_REF_DOMAIN); 217 ret.emit_literal = true; 221 ret.error = cbor64_tag(streamer, CBOR64_TAG_SHARED_VALUE); 223 ret.error = cbor64_tag(streamer, CBOR64_TAG_STRING_REF); 225 if (ret.error == 0) { 226 ret.error = cbor64_int(streamer, index); 230 ret.error = new_reference(streamer, domain, index); 231 ret.emit_literal = true; 234 return ret; 242 emit_reference_ret_t ret = emit_reference(streamer, domain, string); local 254 emit_reference_ret_t ret = emit_reference(streamer, domain, string); local [all...] |
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | vsyscall.c | 104 ssize_t ret = 0; local 112 ret++; 116 return ret; 203 muslcsys_syscall_t ret; local 210 ret = sparse_syscall_table[index].syscall; 211 sparse_syscall_table[index].syscall = ret; 213 ret = syscall_table[syscall]; 216 return ret; 226 muslcsys_syscall_t ret UNUSED; 227 ret 289 long ret = syscall(al); local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | vsyscall.c | 104 ssize_t ret = 0; local 112 ret++; 116 return ret; 203 muslcsys_syscall_t ret; local 210 ret = sparse_syscall_table[index].syscall; 211 sparse_syscall_table[index].syscall = ret; 213 ret = syscall_table[syscall]; 216 return ret; 226 muslcsys_syscall_t ret UNUSED; 227 ret 289 long ret = syscall(al); local [all...] |
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | getdate.c | 12 struct tm *ret = 0; local 35 ret = &tmbuf; 44 return ret;
|