/seL4-refos-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 547 findVSpaceForASID_ret_t ret; local 554 ret.vspace_root = NULL; 555 ret.status = EXCEPTION_LOOKUP_FAULT; 556 return ret; 559 ret.vspace_root = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map); 560 ret.status = EXCEPTION_NONE; 561 return ret; 618 lookupPTSlot_ret_t ret; local 623 ret.ptSlot = NULL; 624 ret 867 create_mapping_pte_return_t ret; local 896 create_mapping_pde_return_t ret; local [all...] |
/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 319 findVSpaceForASID_ret_t ret; local 327 ret.vspace_root = NULL; 328 ret.status = EXCEPTION_LOOKUP_FAULT; 329 return ret; 336 ret.vspace_root = NULL; 337 ret.status = EXCEPTION_LOOKUP_FAULT; 338 return ret; 341 ret.vspace_root = vspace_root; 342 ret.status = EXCEPTION_NONE; 343 return ret; 392 lookupPTSlot_ret_t ret; local 1170 lookupPTSlot_ret_t ret = lookupPTSlot(vspace_root, address); local [all...] |
/seL4-refos-master/libs/libmuslc/src/math/i386/ |
H A D | expl.s | 24 ret 27 ret 101 ret
|
H A D | floor.s | 25 ret
|
H A D | remquo.s | 50 ret
|
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/ |
H A D | expl.s | 24 ret 27 ret 101 ret
|
H A D | floor.s | 25 ret
|
/seL4-refos-master/libs/libmuslc/src/math/x32/ |
H A D | expl.s | 24 ret 27 ret 101 ret
|
/seL4-refos-master/libs/libmuslc/src/math/x86_64/ |
H A D | expl.s | 24 ret 27 ret 101 ret
|
/seL4-refos-master/libs/libmuslc/src/math/x86_64_sel4/ |
H A D | expl.s | 24 ret 27 ret 101 ret
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | getopt_long.c | 25 int ret, skipped, resumed; local 42 ret = __getopt_long_core(argc, argv, optstring, longopts, idx, longonly); 49 return ret;
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 181 clk_t ret = { _CLK_OPS(id, "Fixed clock", fixed_clk, NULL) }; local 182 ret.req_freq = frequency; 183 return ret;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | clock.c | 181 clk_t ret = { _CLK_OPS(id, "Fixed clock", fixed_clk, NULL) }; local 182 ret.req_freq = frequency; 183 return ret;
|
/seL4-refos-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 23 uint64_t ret = ep_ptr->words[0] & 0xfffffffffffcull; local 24 return unlikely(ret) ? TCB_PTR(ret | PPTR_BASE) : NULL;
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | gpio.h | 234 int ret = gpio->gpio_sys->pending_status(gpio, true); local 235 if (ret < 0) { 236 return ret;
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | gpio.h | 234 int ret = gpio->gpio_sys->pending_status(gpio, true); local 235 if (ret < 0) { 236 return ret;
|
/seL4-refos-master/kernel/src/machine/ |
H A D | io.c | 573 int ret; local 582 ret = printf_core(out, fmt, &ap2, nl_arg, nl_type); 584 return ret; 590 word_t ret; local 595 ret = vprintf(&out, format, args); 597 return ret;
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 317 readWordFromVSpace_ret_t ret; local 338 ret.status = EXCEPTION_LOOKUP_FAULT; 339 return ret; 346 ret.status = EXCEPTION_NONE; 347 ret.value = *value; 348 return ret;
|
/seL4-refos-master/projects/refos/impl/apps/test_os/src/ |
H A D | test_os.c | 411 int ret = refos_share_write(srcBuf, 4096 * 3, sharedBuf, 4096 * 3 + 9, &end); local 412 tvprintf("return is %d\n", ret); 414 test_assert(ret == 0 && end == 4096 * 3); 416 ret = refos_share_read(testBuf, 4096 * 3, sharedBuf, 4096 * 3 + 9, &start, &bytesRead); 417 tvprintf("return is %d\n", ret); 419 test_assert(ret == 0 && bytesRead == 4096 * 3); 453 ret = refos_share_write(srcBuf2, 4096 * 2, sharedBuf, 4096 * 3 + 9, &end); 454 ret = refos_share_read(testBuf, 4096 * 2, sharedBuf, 4096 * 3 + 9, &start, &bytesRead);
|
/seL4-refos-master/apps/test_os/src/ |
H A D | test_os.c | 411 int ret = refos_share_write(srcBuf, 4096 * 3, sharedBuf, 4096 * 3 + 9, &end); local 412 tvprintf("return is %d\n", ret); 414 test_assert(ret == 0 && end == 4096 * 3); 416 ret = refos_share_read(testBuf, 4096 * 3, sharedBuf, 4096 * 3 + 9, &start, &bytesRead); 417 tvprintf("return is %d\n", ret); 419 test_assert(ret == 0 && bytesRead == 4096 * 3); 453 ret = refos_share_write(srcBuf2, 4096 * 2, sharedBuf, 4096 * 3 + 9, &end); 454 ret = refos_share_read(testBuf, 4096 * 2, sharedBuf, 4096 * 3 + 9, &start, &bytesRead);
|
/seL4-refos-master/libs/libmuslc/arch/s390x/ |
H A D | syscall_arch.h | 4 #define __asm_syscall(ret, ...) do { \ 6 : ret : __VA_ARGS__ : "memory"); \
|
/seL4-refos-master/libs/libmuslc/src/string/i386/ |
H A D | memset.s | 50 1: ret 65 ret
|
/seL4-refos-master/libs/libmuslc/src/string/i386_sel4/ |
H A D | memset.s | 50 1: ret 65 ret
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv8-a/64/ |
H A D | mmu-hyp.S | 30 ret 116 ret
|
/seL4-refos-master/tools/elfloader/src/arch-arm/armv/armv8-a/64/ |
H A D | mmu-hyp.S | 30 ret 116 ret
|