/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 109 int ret; local 123 int ret; local
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 284 int ret; local
|
H A D | clock.c | 181 clk_t ret = { _CLK_OPS(id, "Fixed clock", fixed_clk, NULL) }; local
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | local_time_manager.c | 78 int ret = ltimer_get_time(state->ltimer, &curr_time); local 145 int ret = ltimer_get_time(state->ltimer, &curr_time); local
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.c | 202 int ret; local
|
/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
|
/seL4-refos-master/kernel/src/arch/x86/object/ |
H A D | objecttype.c | 25 deriveCap_ret_t ret; local [all...] |
/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
|
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 18 deriveCap_ret_t ret; local [all...] |
/seL4-refos-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 425 void obj_frame_print_attrs(lookupFrame_ret_t ret) argument 447 lookupFrame_ret_t ret; local 464 lookupFrame_ret_t ret; local 487 lookupFrame_ret_t ret; local [all...] |
/seL4-refos-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 371 static void obj_frame_print_attrs(resolve_ret_t ret) argument 405 resolve_ret_t ret; local 449 resolve_ret_t ret = {}; local [all...] |
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 207 emit_reference_ret_t ret = { local 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 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/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 38 deriveCap_ret_t ret; local [all...] |
/seL4-refos-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 32 deriveCap_ret_t ret; local [all...] |
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_io.c | 95 ssize_t ret = 0; local 179 ssize_t ret = 0; local [all...] |
/seL4-refos-master/libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 53 uintptr_t ret; local 129 uintptr_t ret; local 149 uintptr_t ret; local 220 void *ret = vspace_new_pages(muslc_this_vspace, seL4_AllRights, pages, seL4_PageBits); local [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dlb.c | 480 int ret = 0; local
|
H A D | mcastu.c | 169 int ret; local
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_io.c | 95 ssize_t ret = 0; local 179 ssize_t ret = 0; local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 53 uintptr_t ret; local 129 uintptr_t ret; local 149 uintptr_t ret; local 220 void *ret = vspace_new_pages(muslc_this_vspace, seL4_AllRights, pages, seL4_PageBits); local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 136 seL4_Word ret; local
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dlb.c | 480 int ret = 0; local
|
H A D | mcastu.c | 169 int ret; local
|
/seL4-refos-master/libs/libmuslc/src/aio/ |
H A D | aio.c | 58 ssize_t ret; member in struct:aio_thread 200 ssize_t ret; local 262 int ret = 0; local 333 int ret = AIO_ALLDONE; local [all...] |