| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_sntp_client.c | 127 int ret = 0; local
533 int ret = 0; local
|
| /seL4-camkes-master/projects/picotcp/stack/ |
| H A D | pico_stack.c | 191 int32_t ret = -1; local
467 int32_t ret; local
482 int ret; local
662 calc_score(int *score, int *index, int avg[][PROTO_DEF_AVG_NR], int *ret) argument
756 static int ret[PROTO_DEF_NR] = { local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_sntp_client.c | 146 int ret = 0; local
[all...] |
| H A D | unit_ipv6.c | 94 int ret = 0; local
318 int i = 0, j = 0, k = 0, ret = 0; local
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/ |
| H A D | rumphyper_bio.c | 288 biocomp(struct blkfront_aiocb *aiocb, int ret) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 288 ssize_t ret = 0; local
513 long ret = syscall(SYS_lseek, fd, (uint32_t)offset_low, (uint32_t)offset_high, whence); local
|
| /seL4-camkes-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 151 convertedTypeAndAccess_t ret; local
448 getBreakpoint_t ret; local
482 bool_t ret; member in struct:__anon110
488 testAndResetSingleStepException_t ret; local
559 getAndResetActiveBreakpoint_t ret; local
[all...] |
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | debug.h | 88 word_t ret; local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | io.c | 258 int ret = ps_new_stdlib_malloc_ops(ops); local
360 int ret = (*module)->init(ops, device_path); local
403 int ret = defer_token->init_func(ops, defer_token->device_path); local
498 int ret = camkes_ps_malloc_ops(&ops->malloc_ops); local
[all...] |
| /seL4-camkes-master/projects/global-components/components/Ethdriver/src/ |
| H A D | ethdriver.c | 272 int ret; local
|
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 317 readWordFromVSpace_ret_t ret; local
|
| /seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 673 seL4_Word ret; local
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 695 seL4_Word ret; local
|
| /seL4-camkes-master/projects/lwip/src/apps/snmp/ |
| H A D | snmp_mib2_ip.c | 159 snmp_err_t ret = SNMP_ERR_WRONGVALUE; local
|
| /seL4-camkes-master/projects/lwip/src/core/ |
| H A D | altcp.c | 138 struct altcp_pcb *ret = (struct altcp_pcb *)memp_malloc(MEMP_ALTCP_PCB); local
|
| H A D | mem.c | 209 void *ret = mem_clib_malloc(size + MEM_LIBC_STATSHELPER_SIZE); local
253 void *ret; local
[all...] |
| /seL4-camkes-master/projects/lwip/src/netif/ppp/ |
| H A D | ccp.c | 1109 int ret, newret; local
|
| H A D | pppoe.c | 206 err_t ret; local
|
| H A D | pppol2tp.c | 168 err_t ret; local
|
| /seL4-camkes-master/projects/lwip/test/unit/api/ |
| H A D | test_sockets.c | 66 int ret = lwip_fcntl(s, F_SETFL, O_NONBLOCK); local
76 int s, i, ret; local
109 int s, s2, s3, ret; local
283 int listnr, s1, s2, i, ret, opt; local
446 int i, ret; local
475 int s, i, ret; local
550 int s, ret, enable; local
656 int ret; local
692 int ret; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | dwc_eth_qos.c | 111 int ret = 0; local
145 int ret; local
184 int ret; local
219 int ret; local
278 int ret; local
370 int ret; local
399 int ret; local
491 int ret; local
527 int ret; local
902 int ret; local
[all...] |
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | server.c | 165 int ret = client_put_event(client_id, client_socket->socket_fd, ev); local
192 int ret = client_put_socket(client_id, new_socket); local
211 int ret = server_control_common(client_id, socket_fd, &client_socket); local
228 int ret = server_control_common(client_id, socket_fd, &client_socket); local
245 int ret = server_control_common(client_id, socket_fd, &client_socket); local
262 int ret = server_control_common(client_id, socket_fd, &client_socket); local
311 int ret = server_control_common(client_id, socket_fd, &client_socket); local
359 int ret = server_control_common(client_id, socket_fd, &client_socket); local
377 int ret = server_control_common(client_id, socket_fd, &client_socket); local
431 int ret = server_communication_common(client_id, socket_fd, len, buffer_offset, local
452 int ret = server_communication_common(client_id, socket_fd, len, buffer_offset, local
473 int ret = server_communication_common(client_id, socket_fd, len, buffer_offset, local
496 int ret = server_communication_common(client_id, socket_fd, len, buffer_offset, local
517 int ret = server_communication_common(client_id, socket_fd, len, buffer_offset, local
539 int ret = server_communication_common(client_id, socket_fd, len, buffer_offset, local
590 int ret; local
667 int ret; local
721 int ret; local
799 int ret; local
[all...] |
| /seL4-camkes-master/kernel/src/plat/tk1/machine/ |
| H A D | smmu.c | 121 uint32_t ret = 0; local
|
| /seL4-camkes-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v3.c | 82 uint32_t ret = 0; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
| H A D | guest_memory.c | 472 int ret = vspace_deferred_rights_map_pages_at_vaddr(&vm->mem.vm_vspace, &reservation_frame.cptr, NULL, local
|