| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | zynq_gem.c | 118 u32 ret; local
232 int ret; local
383 int ret; local
[all...] |
| H A D | marvell.c | 375 int ret = 0; local
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | allocman.c | 42 int ret = !alloc->in_operation; local
123 void *ret = alloc->mspace_chunks[i][--alloc->mspace_chunk_count[i]]; local
174 void *ret; local
231 int ret = _try_watermark_cspace(alloc, slot); local
268 seL4_Word ret; local
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | detect.c | 870 int ret = 0; local
|
| H A D | sounds.c | 273 const char *ret; local
[all...] |
| H A D | dothrow.c | 1422 int ret = 0; local
|
| /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
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | allocman.c | 42 int ret = !alloc->in_operation; local
123 void *ret = alloc->mspace_chunks[i][--alloc->mspace_chunk_count[i]]; local
174 void *ret; local
231 int ret = _try_watermark_cspace(alloc, slot); local
268 seL4_Word ret; local
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | detect.c | 870 int ret = 0; local
|
| H A D | sounds.c | 273 const char *ret; local
[all...] |
| /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
|
| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | vfwprintf.c | 367 int ret; local
|
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdt_overlay.c | 108 int path_len = 0, ret; local
205 int ret; local
272 int ret; local
494 int poffset, ret; local
572 int ret; local
611 int ret; local
628 int ret; local
670 int ret; local
742 int len, frag_name_len, ret, rel_path_len; local
867 int ret; local
[all...] |
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 288 ssize_t ret = 0; local
513 long ret = syscall(SYS_lseek, fd, (uint32_t)offset_low, (uint32_t)offset_high, whence); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 288 ssize_t ret = 0; local
513 long ret = syscall(SYS_lseek, fd, (uint32_t)offset_low, (uint32_t)offset_high, whence); local
|
| /seL4-refos-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 151 convertedTypeAndAccess_t ret; local
448 getBreakpoint_t ret; local
482 bool_t ret; member in struct:__anon110
488 testAndResetSingleStepException_t ret; local
559 getAndResetActiveBreakpoint_t ret; local
[all...] |
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | debug.h | 88 word_t ret; local
|
| /seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 317 readWordFromVSpace_ret_t ret; local
|
| /seL4-refos-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 673 seL4_Word ret; local
|
| /seL4-refos-master/libs/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 673 seL4_Word ret; local
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 695 seL4_Word ret; local
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 695 seL4_Word ret; local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | dwc_eth_qos.c | 111 int ret = 0; local
145 int ret; local
184 int ret; local
219 int ret; local
278 int ret; local
370 int ret; local
399 int ret; local
491 int ret; local
527 int ret; local
902 int ret; local
[all...] |
| /seL4-refos-master/kernel/src/plat/tk1/machine/ |
| H A D | smmu.c | 121 uint32_t ret = 0; local
|
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v3.c | 82 uint32_t ret = 0; local
|