| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
| H A D | guest_ram.c | 249 int ret; local
272 int ret; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | mii.h | 159 unsigned int ret; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | mii.h | 162 unsigned int ret; local
|
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | syscall.c | 109 int ret = fd_close(fd); local
201 long ret = frontend_syscall(SYS_lstat, va2pa(name), name_size, va2pa(&buf), 0, 0, 0, 0); local
212 long ret = frontend_syscall(SYS_fstatat, kfd, va2pa(name), name_size, va2pa(&buf), flags, 0, 0); local
394 ssize_t ret = 0; local
[all...] |
| /seL4-camkes-master/projects/musllibc/src/regex/ |
| H A D | regexec.c | 185 reg_errcode_t ret; local
635 int ret; local
[all...] |
| /seL4-camkes-master/projects/musllibc/src/stdio/ |
| H A D | vfprintf.c | 689 int ret; local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_tap_windows.c | 742 int ret = -1; local
[all...] |
| H A D | pico_mm.c | 1128 void *ret; local
|
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_dns_common.c | 43 int ret = 0; local
115 int ret = 0; local
195 int ret = 0; local
295 int ret = 0; local
412 int ret = 0; local
543 int ret = 0; local
611 int ret = 0; local
640 int ret = 0; local
752 int ret = 0; local
816 int ret = 0; local
885 int ret = 0; local
995 unsigned int ret = 0; local
1014 char *ret; local
1209 int ret = 0; local
1233 int ret = 0; local
1247 int ret = 0; local
[all...] |
| H A D | modunit_pico_tcp.c | 177 int ret = 0; local
230 int ret local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | mm.c | 594 int ret; local
660 int ret, exch_success; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 74 findEPTForASID_ret_t ret; local
98 lookupEPTPDPTSlot_ret_t ret; local
120 lookupEPTPDSlot_ret_t ret; local
150 lookupEPTPTSlot_ret_t ret; local
197 EPTPDPTMapped_ret_t ret; local
390 EPTPageDirectoryMapped_ret_t ret; local
579 EPTPageTableMapped_ret_t ret; local
[all...] |
| /seL4-camkes-master/kernel/src/object/ |
| H A D | cnode.c | 620 finaliseSlot_ret_t ret; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | mii.h | 161 unsigned int ret; local
|
| /seL4-camkes-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 38 word_t ret; local
50 word_t ret; local
62 word_t ret; local
74 word_t ret; local
86 word_t ret; local
98 word_t ret; local
110 word_t ret; local
122 word_t ret; local
134 word_t ret; local
146 word_t ret; local
158 word_t ret; local
170 word_t ret; local
182 word_t ret; local
194 word_t ret; local
206 word_t ret; local
218 word_t ret; local
230 word_t ret; local
242 word_t ret; local
254 word_t ret; local
266 word_t ret; local
277 word_t ret = 0; local
289 word_t ret = 0; local
302 word_t ret = 0; local
324 uint64_t ret = 0; local
331 uint64_t ret = get_cntv_cval_64(); local
339 uint64_t ret = get_cntv_cval_64(); local
345 uint64_t ret = get_cntv_cval_64(); local
353 uint64_t ret = get_cntv_cval_64(); local
368 uint64_t ret = 0; local
375 uint64_t ret = get_cntv_off_64(); local
383 uint64_t ret = get_cntv_off_64(); local
389 uint64_t ret = get_cntv_off_64(); local
397 uint64_t ret = get_cntv_off_64(); local
[all...] |
| /seL4-camkes-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | vcpu.h | 38 word_t ret; local
50 word_t ret; local
62 word_t ret; local
74 word_t ret; local
86 word_t ret; local
98 word_t ret; local
110 word_t ret; local
122 word_t ret; local
134 word_t ret; local
146 word_t ret; local
158 word_t ret; local
170 word_t ret; local
182 word_t ret; local
194 word_t ret; local
206 word_t ret; local
218 word_t ret; local
230 word_t ret; local
242 word_t ret; local
254 word_t ret; local
266 word_t ret; local
277 word_t ret = 0; local
289 word_t ret = 0; local
302 word_t ret = 0; local
324 uint64_t ret = 0; local
331 uint64_t ret = get_cntv_cval_64(); local
339 uint64_t ret = get_cntv_cval_64(); local
345 uint64_t ret = get_cntv_cval_64(); local
353 uint64_t ret = get_cntv_cval_64(); local
368 uint64_t ret = 0; local
375 uint64_t ret = get_cntv_off_64(); local
383 uint64_t ret = get_cntv_off_64(); local
389 uint64_t ret = get_cntv_off_64(); local
397 uint64_t ret = get_cntv_off_64(); local
[all...] |
| /seL4-camkes-master/kernel/src/machine/ |
| H A D | io.c | 573 int ret; local
590 word_t ret; local
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 920 seL4_Word ret; local
|
| /seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
| H A D | altcp_tls_mbedtls.c | 254 int ret = mbedtls_ssl_handshake(&state->ssl_context); local
354 int ret; local
443 u16_t ret; local
580 int ret; local
615 struct altcp_pcb *ret; local
676 int ret; local
759 int ret; local
804 int ret; local
838 int ret; local
1009 size_t ret; local
1033 int ret; local
[all...] |
| /seL4-camkes-master/projects/lwip/src/apps/lwiperf/ |
| H A D | lwiperf.c | 441 err_t ret; local
761 err_t ret; local
|
| /seL4-camkes-master/projects/lwip/src/core/ipv6/ |
| H A D | dhcp6.c | 427 u16_t ret; local
|
| /seL4-camkes-master/projects/lwip/test/sockets/ |
| H A D | sockets_stresstest.c | 156 ssize_t ret; local
182 int ret; local
221 int ret; local
251 int ret; local
292 int ret; local
316 int ret; local
435 int s, ret; local
512 int s, ret; local
582 int ret; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | mux.c | 262 volatile uint32_t *ret; local
|
| /seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | vcpu.h | 38 word_t ret; local
50 word_t ret; local
62 word_t ret; local
74 word_t ret; local
86 word_t ret; local
98 word_t ret; local
110 word_t ret; local
122 word_t ret; local
134 word_t ret; local
146 word_t ret; local
158 word_t ret; local
170 word_t ret; local
182 word_t ret; local
194 word_t ret; local
206 word_t ret; local
218 word_t ret; local
230 word_t ret; local
242 word_t ret; local
254 word_t ret; local
266 word_t ret; local
277 word_t ret = 0; local
289 word_t ret = 0; local
302 word_t ret = 0; local
324 uint64_t ret = 0; local
331 uint64_t ret = get_cntv_cval_64(); local
339 uint64_t ret = get_cntv_cval_64(); local
345 uint64_t ret = get_cntv_cval_64(); local
353 uint64_t ret = get_cntv_cval_64(); local
368 uint64_t ret = 0; local
375 uint64_t ret = get_cntv_off_64(); local
383 uint64_t ret = get_cntv_off_64(); local
389 uint64_t ret = get_cntv_off_64(); local
397 uint64_t ret = get_cntv_off_64(); local
[all...] |
| /seL4-camkes-master/kernel/include/plat/tk1/plat/machine/ |
| H A D | smmu.h | 130 uint32_t ret = (io_address & SMMU_IOPD_INDEX_MASK) >> SMMU_IOPD_INDEX_SHIFT; local
136 uint32_t ret = (io_address & SMMU_IOPT_INDEX_MASK) >> SMMU_IOPT_INDEX_SHIFT; local
|