| /seL4-camkes-master/kernel/src/arch/x86/api/ |
| H A D | faults.c | 70 word_t ret = ARCH_NODE_STATE(x86KSGPExceptReturnTo); local
|
| /seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/libBPMPServer-client/ |
| H A D | bpmpserver_client.c | 50 int ret = bpmpserver_data->bpmpserver_call(mrq, tx_size, &bytes_received); local
|
| /seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/src/ |
| H A D | server.c | 50 int ret = tx2_bpmp_call(bpmp, mrq, client_buf, tx_size, &bpmp_rx_buf, sizeof(bpmp_rx_buf)); local
|
| /seL4-camkes-master/projects/musllibc/src/aio/ |
| H A D | lio_listio.c | 72 int i, ret; local
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4HardwareIOPort.template.c | 77 int ret = ps_io_port_in(&ops, /*? port_range[0] ?*/ + offset, IOSIZE_8, &result); local
93 int ret = ps_io_port_in(&ops, /*? port_range[0] ?*/ + offset, IOSIZE_16, &result); local
109 int ret = ps_io_port_in(&ops, /*? port_range[0] ?*/ + offset, IOSIZE_32, &result); local
|
| /seL4-camkes-master/projects/lwip/src/apps/snmp/ |
| H A D | snmp_table.c | 48 snmp_err_t ret = SNMP_ERR_NOSUCHINSTANCE; local
166 snmp_err_t ret = SNMP_ERR_NOSUCHINSTANCE; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | vm.c | 62 int ret; local
129 int ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
| H A D | cpuid.c | 379 int ret; local
|
| /seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
| H A D | tcp_echo_socket.c | 64 int ret = 0; local
197 int ret local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/c/ |
| H A D | lib_buffer_unpack.c | 64 msgpack_unpack_return ret; local
|
| /seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
| H A D | boost_fusion.cpp | 33 msgpack::unpacked ret; local
154 msgpack::unpacked ret; local
|
| H A D | msgpack_basic.cpp | 175 msgpack::unpacked ret; local
217 msgpack::unpacked ret; local
268 msgpack::unpacked ret; local
286 msgpack::unpacked ret; local
296 msgpack::unpacked ret; local
307 msgpack::unpacked ret; local
321 msgpack::unpacked ret; local
336 msgpack::unpacked ret; local
352 msgpack::unpacked ret; local
368 msgpack::unpacked ret; local
384 msgpack::unpacked ret; local
399 msgpack::unpacked ret; local
415 msgpack::unpacked ret; local
433 msgpack::unpacked ret; local
451 msgpack::unpacked ret; local
469 msgpack::unpacked ret; local
487 msgpack::unpacked ret; local
506 msgpack::unpacked ret; local
526 msgpack::unpacked ret; local
546 msgpack::unpacked ret; local
564 msgpack::unpacked ret; local
581 msgpack::unpacked ret; local
601 msgpack::unpacked ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | virtual_pool.c | 115 void *ret; local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | sys_io.c | 57 long ret; local
85 long ret; local
119 int ret = sock_read(sockfd, size); local
124 long ret; local
[all...] |
| /seL4-camkes-master/projects/musllibc/arch/x86_64/ |
| H A D | syscall_arch.h | 6 unsigned long ret; local
13 unsigned long ret; local
20 unsigned long ret; local
28 unsigned long ret; local
36 unsigned long ret; local
45 unsigned long ret; local
55 unsigned long ret; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libpci/src/ |
| H A D | ioreg.c | 19 int UNUSED ret = libpci_iowrite(port_no, val, size); local
26 int UNUSED ret = libpci_ioread(port_no, &val, size); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ega.c | 114 int ret; local
|
| /seL4-camkes-master/projects/musllibc/src/linux/x32/ |
| H A D | sysinfo.c | 27 int ret = syscall(SYS_sysinfo, &tmp); local
|
| /seL4-camkes-master/projects/musllibc/src/misc/ |
| H A D | getopt_long.c | 25 int ret, skipped, resumed; local
|
| /seL4-camkes-master/projects/musllibc/src/process/ |
| H A D | posix_spawn.c | 41 int i, ret; local
[all...] |
| /seL4-camkes-master/projects/musllibc/src/search/ |
| H A D | tsearch_avl.c | 157 struct node *ret; local
177 struct node *ret; local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_mock.c | 252 uint32_t ret; local
|
| H A D | pico_mcast.c | 237 int ret = -1; local
|
| H A D | pico_socket_udp.c | 107 int ret = 0; local
|
| H A D | pico_udp.c | 214 uint16_t ret = f->payload_len; local
|