| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | tcpclient.c | 106 int i = 0, ret = 0, yes = 1; local
|
| H A D | tcpecho.c | 118 int ret = 0, yes = 1; local
|
| H A D | udp_client.c | 117 int ret = 0; local
|
| H A D | udp_echo.c | 76 int ret = 0; local
178 int ret = 0; local
|
| /seL4-camkes-master/projects/picotcp/test/ |
| H A D | test_tftp_app_client.c | 20 int ret; local
32 int ret; local
98 int ret; local
[all...] |
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_ethernet.c | 47 int ret = 0, count = 0; local
91 int ret = 0, count = 0; local
152 int ret = 0, count = 0; local
179 int ret = 0, count = 0; local
213 int ret = 0, count = 0; local
[all...] |
| H A D | modunit_pico_frame.c | 57 int ret = 0; local
|
| H A D | modunit_pico_protocol.c | 162 int ret = 0; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
| H A D | hypervisor.c | 129 int ret; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
| H A D | semaphore.h | 54 int ret = 0; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | mx6qsabrelite.c | 149 int ret; local
163 int ret; local
[all...] |
| H A D | mxc_gpio.c | 188 int ret = mxc_gpio_direction(gpio, MXC_GPIO_DIRECTION_OUT, io_ops); local
|
| /seL4-camkes-master/kernel/src/api/ |
| H A D | faults.c | 239 unsigned int ret = setMR(receiver, receiveIPCBuffer, local
|
| /seL4-camkes-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 39 deriveCap_ret_t ret; local
[all...] |
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | cspace.c | 18 lookupCap_ret_t ret; local
35 lookupCapAndSlot_ret_t ret; local
55 lookupSlot_raw_ret_t ret; local
69 lookupSlot_ret_t ret; local
128 resolveAddressBits_ret_t ret; local
[all...] |
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/plat/tx2/ |
| H A D | platform_init.c | 43 uint32_t ret = SMC_SIP_INVOKE_MCE | (func & MCE_SMC_ENUM_MAX); local
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
| H A D | debug.h | 134 syscall_error_t ret = { local
185 syscall_error_t ret = { local
227 syscall_error_t ret = { local
241 syscall_error_t ret = { local
[all...] |
| /seL4-camkes-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 122 syscall_error_t ret; local
134 syscall_error_t ret = { local
156 syscall_error_t ret = { local
171 syscall_error_t ret = { local
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
| H A D | io.c | 59 int ret = syscall_error_handler(reply.error, X86IOPortIn8, region); local
73 int ret = syscall_error_handler(reply.error, X86IOPortIn16, region); local
87 int ret = syscall_error_handler(reply.error, X86IOPortIn32, region); local
102 int ret local
115 int ret = syscall_error_handler(reply, X86IOPortOut16, region); local
127 int ret = syscall_error_handler(reply, X86IOPortOut32, region); local
[all...] |
| /seL4-camkes-master/projects/lwip/src/core/ipv4/ |
| H A D | icmp.c | 211 err_t ret; local
|
| /seL4-camkes-master/projects/lwip/src/core/ipv6/ |
| H A D | ip6_addr.c | 121 int ret = ip4addr_aton(s + 1, &ip4); local
232 char *ret; local
|
| /seL4-camkes-master/projects/lwip/src/netif/ |
| H A D | bridgeif_fdb.c | 138 bridgeif_portmask_t ret = (bridgeif_portmask_t)(1 << e->port); local
|
| /seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/ |
| H A D | gpio.c | 158 int ret = 0; local
|
| /seL4-camkes-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 37 deriveCap_ret_t ret; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
| H A D | server.c | 44 int ret = sel4rpc_server_reply(env, 1, 0, cookie); local
78 int ret = sel4rpc_server_reply(env, 1, 0, 0); local
143 int ret = sel4rpc_server_reply(env, 1, 0, 0); local
187 bool ret = pb_encode_delimited(&ostream, &RpcMessage_msg, &rpcMsg); local
212 bool ret = pb_decode_delimited(&stream, &RpcMessage_msg, &rpcMsg); local
[all...] |