| /seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 104 ssize_t ret = 0; local
203 muslcsys_syscall_t ret; local
289 long ret = syscall(al); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | iospace.c | 51 lookupIOPDSlot_ret_t ret; local
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.simple.c | 413 uintptr_t ret; local
|
| /seL4-camkes-master/kernel/src/api/ |
| H A D | syscall.c | 624 exception_t ret; local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
| H A D | mmc.c | 33 uint32_t ret = 0; local
193 int ret; local
279 int ret; local
465 long ret = -1; local
541 int ret; local
[all...] |
| /seL4-camkes-master/tools/seL4/elfloader-tool/include/binaries/elf/ |
| H A D | elf64.h | 104 uint64_t ret; local
|
| /seL4-camkes-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-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | pci_helper.c | 176 int ret = emul->passthrough.ioread(emul->passthrough.cookie, offset, size, result); local
299 int ret = emul->passthrough.ioread(emul->passthrough.cookie, offset, size, result); local
311 int ret = emul->passthrough.ioread(emul->passthrough.cookie, offset, size, result); local
337 int ret local
[all...] |
| H A D | virtio_net.c | 38 int ret; local
92 void *ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | ioports.c | 129 int ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | guest_image.c | 150 int ret; local
224 int ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | guest_memory_util.c | 51 int ret = vka_cspace_alloc_path(vm->vka, &return_frame); local
72 int ret; local
118 int ret; local
141 int ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | irq_combiner.c | 139 memory_fault_result_t ret; local
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
| H A D | unpack.c | 453 int ret = template_execute(CTX_CAST(mpac->ctx), local
515 int ret; local
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | usbhub.c | 175 int ret; local
639 struct device_desc *ret = (struct device_desc *)buf; local
645 struct hub_desc *ret = (struct hub_desc *)buf; local
710 int ret; local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
| H A D | usb.c | 471 int ret; local
|
| /seL4-camkes-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-camkes-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-camkes-master/tools/riscv-pk/pk/ |
| H A D | mmap.c | 185 ssize_t ret = file_pread(v->file, (void*)vaddr, flen, vaddr - v->addr + v->offset); local
207 int ret = __handle_page_fault(vaddr, prot); local
|
| /seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
| H A D | subr_prf.c | 277 int ret = 0; /* return value accumulator */ local
[all...] |
| /seL4-camkes-master/projects/musllibc/src/stdio/ |
| H A D | vfwprintf.c | 367 int ret; local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_6lowpan_ll.c | 78 int32_t ret = 0; local
283 int32_t ret = 0, i = 0; local
311 int32_t i = 0, ret = 0; local
347 int32_t ret = 0; local
[all...] |
| H A D | pico_802154.c | 221 int32_t ret = 0; local
|
| H A D | pico_arp.c | 480 int ret; local
|