| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | boot.c | 58 int ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_vcpu_util.c | 109 int ret = 0; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | cr.c | 159 int cr, reg, ret = -1; local
[all...] |
| /seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/ |
| H A D | utilization_socket.c | 33 int ret = 0; local
113 int ret = echo_control_bind(utiliz_socket, PICOSERVER_ANY_ADDR_IPV4, UTILIZATION_PORT); local
[all...] |
| H A D | tcp_echo_socket.c | 116 int ret = 0; local
169 int ret = echo_control_set_async(socket_in, true); local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
| H A D | unpack_template.h | 109 int ret; local
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
| H A D | msgpack_cpp11.cpp | 45 msgpack::unpacked ret; local
56 msgpack::unpacked ret; local
70 msgpack::unpacked ret; local
84 msgpack::unpacked ret; local
100 msgpack::unpacked ret; local
114 msgpack::unpacked ret; local
131 msgpack::unpacked ret; local
146 msgpack::unpacked ret; local
194 msgpack::unpacked ret; local
207 msgpack::unpacked ret; local
222 msgpack::unpacked ret; local
235 msgpack::unpacked ret; local
253 msgpack::unpacked ret; local
267 msgpack::unpacked ret; local
283 msgpack::unpacked ret; local
296 msgpack::unpacked ret; local
311 msgpack::unpacked ret; local
324 msgpack::unpacked ret; local
335 msgpack::unpacked ret; local
390 msgpack::unpacked ret; local
437 msgpack::unpacked ret; local
469 msgpack::unpacked ret; local
480 msgpack::unpacked ret; local
491 msgpack::unpacked ret; local
502 msgpack::unpacked ret; local
513 msgpack::unpacked ret; local
524 msgpack::unpacked ret; local
536 msgpack::unpacked ret; local
548 msgpack::unpacked ret; local
560 msgpack::unpacked ret; local
571 msgpack::unpacked ret; local
590 msgpack::unpacked ret; local
602 msgpack::unpacked ret; local
616 msgpack::unpacked ret; local
627 msgpack::unpacked ret; local
638 msgpack::unpacked ret; local
649 msgpack::unpacked ret; local
661 msgpack::unpacked ret; local
673 msgpack::unpacked ret; local
[all...] |
| H A D | object.cpp | 71 msgpack::unpacked ret; local
88 msgpack::unpacked ret; local
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
| H A D | hcd.c | 102 int ret; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | alloc.c | 246 void *ret = __builtin_extract_return_addr(__builtin_return_address(0)); local
287 void *ret = __builtin_extract_return_addr(__builtin_return_address(0)); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | iommu_dma.c | 151 void *ret; local
|
| /seL4-camkes-master/projects/musllibc/arch/mips64/ |
| H A D | syscall_arch.h | 83 long ret; local
113 long ret; local
145 long ret; local
|
| /seL4-camkes-master/projects/musllibc/arch/x32/ |
| H A D | syscall_arch.h | 38 unsigned long ret; local
45 unsigned long ret; local
52 unsigned long ret; local
64 unsigned long ret; local
78 unsigned long ret; local
94 unsigned long ret; local
112 unsigned long ret; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libpci/src/ |
| H A D | virtual_pci.c | 46 bool ret = libpci_virtual_pci_device_allow(self, matched_devices[i]); local
149 int ret = libpci_ioread(port_no, val, size); local
189 int ret = libpci_iowrite(port_no, val, size); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | chardev.h | 109 int ret; local
123 int ret; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 284 int ret; local
|
| /seL4-camkes-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-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | regions.c | 202 int ret; local
|
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | file.c | 94 long ret = frontend_syscall(SYS_openat, dirfd, va2pa(fn), fn_size, flags, mode, 0, 0); local
147 long ret = frontend_syscall(SYS_fstat, f->kfd, va2pa(&buf), 0, 0, 0, 0, 0); local
|
| /seL4-camkes-master/projects/musllibc/src/math/ |
| H A D | fmal.c | 62 struct dd ret; local
135 struct dd ret; local
270 long double ret; local
[all...] |
| /seL4-camkes-master/projects/musllibc/src/misc/ |
| H A D | syslog.c | 24 int ret = log_mask; local
|
| /seL4-camkes-master/projects/musllibc/src/thread/ |
| H A D | pthread_create.c | 183 int ret, c11 = (attrp == __ATTRP_C11_THREAD); local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_radio_mgr.c | 210 int ret = 0, yes = 1; local
337 int ret = 0; local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | iperfc.c | 105 int i = 0, ret = 0, yes = 1; local
|
| H A D | tcpbench.c | 251 int ret; local
|