Searched refs:ret (Results 451 - 475 of 547) sorted by relevance

<<11121314151617181920>>

/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dvspace.c547 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 Dvspace.c319 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 Dexpl.s24 ret
27 ret
101 ret
H A Dfloor.s25 ret
H A Dremquo.s50 ret
/seL4-refos-master/libs/libmuslc/src/math/i386_sel4/
H A Dexpl.s24 ret
27 ret
101 ret
H A Dfloor.s25 ret
/seL4-refos-master/libs/libmuslc/src/math/x32/
H A Dexpl.s24 ret
27 ret
101 ret
/seL4-refos-master/libs/libmuslc/src/math/x86_64/
H A Dexpl.s24 ret
27 ret
101 ret
/seL4-refos-master/libs/libmuslc/src/math/x86_64_sel4/
H A Dexpl.s24 ret
27 ret
101 ret
/seL4-refos-master/libs/libmuslc/src/misc/
H A Dgetopt_long.c25 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 Dclock.c181 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 Dclock.c181 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 Dfastpath.h23 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 Dgpio.h234 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 Dgpio.h234 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 Dio.c573 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 Dvspace_32paging.c317 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 Dtest_os.c411 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 Dtest_os.c411 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 Dsyscall_arch.h4 #define __asm_syscall(ret, ...) do { \
6 : ret : __VA_ARGS__ : "memory"); \
/seL4-refos-master/libs/libmuslc/src/string/i386/
H A Dmemset.s50 1: ret
65 ret
/seL4-refos-master/libs/libmuslc/src/string/i386_sel4/
H A Dmemset.s50 1: ret
65 ret
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/armv/armv8-a/64/
H A Dmmu-hyp.S30 ret
116 ret
/seL4-refos-master/tools/elfloader/src/arch-arm/armv/armv8-a/64/
H A Dmmu-hyp.S30 ret
116 ret

Completed in 136 milliseconds

<<11121314151617181920>>