| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | unit_socket.c | 8 int ret = 0; local
442 int ret = -1; local
[all...] |
| /seL4-camkes-master/projects/global-components/components/TimeServer/src/ |
| H A D | time_server.c | 175 unsigned int ret = client_state[cid]; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | clock.c | 181 clk_t ret = { _CLK_OPS(id, "Fixed clock", fixed_clk, NULL) }; local
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 25 deriveCap_ret_t ret; local
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | interface_registration.c | 134 int ret = 0; local
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 23 uint64_t ret = ep_ptr->words[0] & 0xfffffffffffcull; local
|
| /seL4-camkes-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 18 deriveCap_ret_t ret; local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libvirtqueue/src/ |
| H A D | virtqueue.c | 186 uint32_t ret = 0; local
|
| /seL4-camkes-master/projects/lwip/src/api/ |
| H A D | netdb.c | 162 lwip_gethostbyname_r(const char *name, struct hostent *ret, char *buf, argument
[all...] |
| /seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
| H A D | altcp_tls_mbedtls_mem.c | 106 void *ret; local
174 altcp_mbedtls_state_t *ret = (altcp_mbedtls_state_t *)mem_calloc(1, sizeof(altcp_mbedtls_state_t)); local
192 void *ret; local
[all...] |
| /seL4-camkes-master/projects/lwip/src/core/ |
| H A D | raw.c | 139 raw_input_state_t ret = RAW_INPUT_NONE; local
|
| H A D | timeouts.c | 439 u32_t ret = (u32_t)(next_timeout->time - now); local
|
| /seL4-camkes-master/projects/lwip/src/netif/ppp/ |
| H A D | fsm.c | 516 int ret; local
|
| /seL4-camkes-master/projects/lwip/test/unit/ip6/ |
| H A D | test_ip6.c | 146 int ret; local
[all...] |
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | picoserver_client.c | 111 int ret; local
251 int ret = 0; local
[all...] |
| /seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
| H A D | brutal_manual.c | 147 struct findStuff_ret ret; local
|
| /seL4-camkes-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 425 void obj_frame_print_attrs(lookupFrame_ret_t ret) argument
447 lookupFrame_ret_t ret; local
464 lookupFrame_ret_t ret; local
487 lookupFrame_ret_t ret; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 371 static void obj_frame_print_attrs(resolve_ret_t ret) argument
405 resolve_ret_t ret; local
449 resolve_ret_t ret = {}; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libutils/src/ |
| H A D | cbor64.c | 207 emit_reference_ret_t ret = { local
242 emit_reference_ret_t ret = emit_reference(streamer, domain, string); local
254 emit_reference_ret_t ret = emit_reference(streamer, domain, string); local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 38 deriveCap_ret_t ret; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 32 deriveCap_ret_t ret; local
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | vm.c | 225 int ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_con.c | 38 int ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | ioports.c | 74 int ret = 0; local
|
| /seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
| H A D | utilization_socket.c | 66 int ret = 0; local
144 int ret = pico_socket_bind(utiliz_socket, &local_addr, &port); local
|