/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_nat.h | 34 pico_err = PICO_ERR_EPROTONOSUPPORT; 42 pico_err = PICO_ERR_EPROTONOSUPPORT; 49 pico_err = PICO_ERR_EPROTONOSUPPORT; 55 pico_err = PICO_ERR_EPROTONOSUPPORT; 62 pico_err = PICO_ERR_EPROTONOSUPPORT; 72 pico_err = PICO_ERR_EPROTONOSUPPORT; 84 pico_err = PICO_ERR_EPROTONOSUPPORT;
|
H A D | pico_dns_sd.c | 49 pico_err = PICO_ERR_EINVAL; 94 pico_err = PICO_ERR_EINVAL; 103 pico_err = PICO_ERR_ENOMEM; 160 pico_err = PICO_ERR_ENOMEM; 210 pico_err = PICO_ERR_EINVAL; 243 pico_err = PICO_ERR_EINVAL; 249 pico_err = PICO_ERR_ENOMEM; 258 pico_err = PICO_ERR_ENOMEM; 340 pico_err = PICO_ERR_EINVAL; 345 pico_err [all...] |
H A D | pico_sntp_client.c | 90 pico_err = PICO_ERR_EINVAL; 230 pico_sntp_cleanup(ck, pico_err); 317 pico_err = PICO_ERR_ENOMEM; 328 pico_err = PICO_ERR_ENOMEM; 353 pico_err = PICO_ERR_ENOMEM; 365 pico_err = PICO_ERR_ENOMEM; 373 pico_err = PICO_ERR_EINVAL; 398 pico_err = PICO_ERR_ENOMEM; 406 pico_err = PICO_ERR_ENOMEM; 433 pico_err [all...] |
H A D | pico_dns_common.c | 57 pico_err = PICO_ERR_EINVAL; 119 pico_err = PICO_ERR_ENOMEM; 148 pico_err = PICO_ERR_EINVAL; 184 pico_err = PICO_ERR_EINVAL; 190 pico_err = PICO_ERR_ENOMEM; 237 pico_err = PICO_ERR_EINVAL; 243 pico_err = PICO_ERR_ENOMEM; 271 pico_err = PICO_ERR_EINVAL; 277 pico_err = PICO_ERR_ENOMEM; 318 pico_err [all...] |
H A D | pico_ipv4.c | 73 pico_err = PICO_ERR_EINVAL; 102 pico_err = PICO_ERR_EINVAL; 166 pico_err = PICO_ERR_EINVAL; 600 pico_err = PICO_ERR_EINVAL; 606 pico_err = PICO_ERR_EHOSTUNREACH; 622 pico_err = PICO_ERR_EINVAL; 637 pico_err = PICO_ERR_EHOSTUNREACH; 649 pico_err = PICO_ERR_EINVAL; 657 pico_err = PICO_ERR_EHOSTUNREACH; 732 pico_err [all...] |
H A D | pico_dns_client.c | 104 pico_err = PICO_ERR_EINVAL; 110 pico_err = PICO_ERR_ENOMEM; 178 if ((void *)found != (void *)&LEAF) /* If found == &LEAF we're out of memory and pico_err is set */ 179 pico_err = PICO_ERR_EAGAIN; 300 pico_err = PICO_ERR_EINVAL; 368 pico_err = PICO_ERR_ENOMEM; 417 pico_err = PICO_ERR_EIO; 478 pico_err = PICO_ERR_ENOMEM; 607 pico_err = PICO_ERR_EINVAL; 632 pico_err [all...] |
H A D | pico_socket_udp.c | 18 pico_err = PICO_ERR_ENOMEM; 194 pico_err = PICO_ERR_EPROTONOSUPPORT; 196 pico_err = PICO_ERR_NOERR; 215 pico_err = PICO_ERR_ENXIO; 235 pico_err = PICO_ERR_EINVAL; 256 pico_err = PICO_ERR_EINVAL;
|
H A D | pico_dhcp_server.c | 109 dhcps_dbg("DHCP server ERROR: failure opening socket (%s)\n", strerror(pico_err)); 115 dhcps_dbg("DHCP server ERROR: failure binding socket (%s)\n", strerror(pico_err)); 138 pico_err = PICO_ERR_EINVAL; 145 pico_err = PICO_ERR_EINVAL; 151 pico_err = PICO_ERR_ENOMEM; 213 pico_err = PICO_ERR_ENOMEM; 290 dhcps_dbg("DHCP server WARNING: failure sending: %s!\n", strerror(pico_err)); 399 pico_err = PICO_ERR_EINVAL; 417 pico_err = PICO_ERR_ENOENT;
|
H A D | pico_socket_tcp.c | 12 pico_err = PICO_ERR_EINVAL; 17 pico_err = PICO_ERR_EPROTONOSUPPORT; 101 pico_err = PICO_ERR_EINVAL; 235 pico_err = PICO_ERR_ENOMEM; 254 pico_err = PICO_ERR_ESHUTDOWN;
|
H A D | pico_mdns.c | 146 pico_err = PICO_ERR_EINVAL; 168 pico_err = PICO_ERR_EINVAL; 197 pico_err = PICO_ERR_EINVAL; 396 pico_err = PICO_ERR_EINVAL; 416 pico_err = PICO_ERR_ENOMEM; 487 pico_err = PICO_ERR_EINVAL; 493 pico_err = PICO_ERR_ENOMEM; 529 pico_err = PICO_ERR_EINVAL; 585 pico_err = PICO_ERR_EINVAL; 629 pico_err [all...] |
H A D | pico_ipv6.c | 168 pico_err = PICO_ERR_EINVAL; 200 pico_err = PICO_ERR_EINVAL; 277 pico_err = PICO_ERR_NOERR; 428 pico_err = PICO_ERR_EINVAL; 436 pico_err = PICO_ERR_EHOSTUNREACH; 447 pico_err = PICO_ERR_EINVAL; 455 pico_err = PICO_ERR_EHOSTUNREACH; 1018 pico_err = PICO_ERR_ENOMEM; 1061 pico_err = PICO_ERR_ENOMEM; 1109 pico_err [all...] |
H A D | pico_tftp.c | 203 pico_err = PICO_ERR_ENOMEM; 996 pico_err = PICO_ERR_EINVAL; 1001 pico_err = PICO_ERR_EINVAL; 1006 pico_err = PICO_ERR_EINVAL; 1011 pico_err = PICO_ERR_EINVAL; 1034 pico_err = PICO_ERR_EINVAL; 1043 pico_err = PICO_ERR_ENOENT; 1052 pico_err = PICO_ERR_ENOENT; 1058 pico_err = PICO_ERR_EINVAL; 1068 pico_err [all...] |
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | multicast_recv.c | 104 printf("%s: socket_setoption PICO_IP_ADD_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 108 printf("%s: socket_setoption PICO_IP_DROP_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 112 printf("%s: socket_setoption PICO_IP_ADD_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 116 printf("%s: socket_setoption PICO_IP_BLOCK_SOURCE failed: %s\n", __FUNCTION__, strerror(pico_err)); 120 printf("%s: socket_setoption PICO_IP_UNBLOCK_SOURCE failed: %s\n", __FUNCTION__, strerror(pico_err)); 124 printf("%s: socket_setoption PICO_IP_DROP_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 128 printf("%s: socket_setoption PICO_IP_ADD_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); 132 printf("%s: socket_setoption PICO_IP_DROP_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); 136 printf("%s: socket_setoption PICO_IP_ADD_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); 141 printf("%s: socket_setoption PICO_IP_ADD_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); [all...] |
H A D | multicast_ip6_recv.c | 115 printf("%s: socket_setoption PICO_IP_ADD_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 119 printf("%s: socket_setoption PICO_IP_DROP_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 123 printf("%s: socket_setoption PICO_IP_ADD_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 127 printf("%s: socket_setoption PICO_IP_BLOCK_SOURCE failed: %s\n", __FUNCTION__, strerror(pico_err)); 131 printf("%s: socket_setoption PICO_IP_UNBLOCK_SOURCE failed: %s\n", __FUNCTION__, strerror(pico_err)); 135 printf("%s: socket_setoption PICO_IP_DROP_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err)); 139 printf("%s: socket_setoption PICO_IP_ADD_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); 143 printf("%s: socket_setoption PICO_IP_DROP_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); 147 printf("%s: socket_setoption PICO_IP_ADD_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); 152 printf("%s: socket_setoption PICO_IP_ADD_SOURCE_MEMBERSHIP: %s\n", __FUNCTION__, strerror(pico_err)); [all...] |
H A D | tcpclient.c | 66 printf("Socket error received: %s. Bailing out.\n", strerror(pico_err)); 165 printf("%s: error opening socket: %s\n", __FUNCTION__, strerror(pico_err)); 177 printf("%s: error binding socket to port %u: %s\n", __FUNCTION__, short_be(listen_port), strerror(pico_err)); 187 printf("%s: error connecting to %s:%u: %s\n", __FUNCTION__, daddr, short_be(send_port), strerror(pico_err));
|
H A D | dhcp_client.c | 85 printf("%s: error getting device %s: %s\n", __FUNCTION__, dev->name, strerror(pico_err)); 92 printf("%s: error initiating negotiation: %s\n", __FUNCTION__, strerror(pico_err));
|
H A D | tcpecho.c | 92 printf("Socket error received: %s. Bailing out.\n", strerror(pico_err)); 148 printf("%s: error opening socket: %s\n", __FUNCTION__, strerror(pico_err)); 162 printf("%s: error binding socket to port %u: %s\n", __FUNCTION__, short_be(listen_port), strerror(pico_err));
|
H A D | udp_echo.c | 152 printf("%s: error opening socket: %s\n", __FUNCTION__, strerror(pico_err)); 167 printf("%s: error binding socket to %08X:%u: %s\n", __FUNCTION__, long_be(inaddr_bind.addr), short_be(listen_port), strerror(pico_err)); 169 printf("%s: error binding socket to [%s]:%u: %s\n", __FUNCTION__, baddr, short_be(listen_port), strerror(pico_err));
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | udp_echo_socket.c | 64 ZF_LOGE("pico_socket_sendto: Send received error: %d", pico_err); 79 ZF_LOGE("pico_socket_recvfrom: received error: %d\n", pico_err); 88 ZF_LOGE("pico_socket_sendto: Send received error: %d", pico_err); 114 ZF_LOGE("Failed to bind a socket for listening: %d!", pico_err);
|
H A D | tcp_echo_socket.c | 96 ZF_LOGE("pico_socket_accept: error received: %d", pico_err); 112 ZF_LOGE("pico_socket_send: error received: %d", pico_err); 143 ZF_LOGE("pico_socket_recv: error received: %d", pico_err); 154 ZF_LOGE("pico_socket_send: error received: %d", pico_err); 199 ZF_LOGE("Failed to bind a socket for listening: %d!", pico_err);
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_socket.c | 388 pico_err = PICO_ERR_EINVAL; 399 pico_err = PICO_ERR_ENOMEM; 507 pico_err = PICO_ERR_ENXIO; 548 pico_err = PICO_ERR_ENXIO; 644 pico_err = PICO_ERR_EPROTONOSUPPORT; 650 pico_err = PICO_ERR_ENETUNREACH; 691 pico_err = PICO_ERR_EPROTONOSUPPORT; 701 pico_err = PICO_ERR_ENETUNREACH; 717 pico_err = PICO_ERR_EINVAL; 731 pico_err [all...] |
H A D | pico_socket_multicast.c | 444 pico_err = PICO_ERR_EINVAL; 783 pico_err = PICO_ERR_ENOMEM; 796 pico_err = PICO_ERR_ENOMEM; 815 pico_err = PICO_ERR_EINVAL; 827 pico_err = PICO_ERR_EINVAL; 889 pico_err = PICO_ERR_EOPNOTSUPP; 897 pico_err = PICO_ERR_EINVAL; 908 pico_err = PICO_ERR_EINVAL; 914 pico_err = PICO_ERR_EINVAL; 932 pico_err [all...] |
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_dns.c | 52 fail_if(ret < 0, "dns> dns_client_nameserver add error: %s", strerror(pico_err)); 58 fail_if(ret < 0, "dns> dns_client_nameserver del error: %s", strerror(pico_err)); 61 fail_if(ret < 0, "dns> dns_client_nameserver add error: %s", strerror(pico_err)); 69 /* fail_if(ret < 0, "dns> dns_client_getaddr: %s",strerror(pico_err)); */ 80 /* fail_if(ret < 0, "dns> dns_client_getname: %s",strerror(pico_err)); */
|
H A D | unit_dhcp.c | 115 pico_err = PICO_ERR_NOERR; 118 fail_unless(pico_err == PICO_ERR_EINVAL, "DHCP_SERVER> initiate succeeded without PICO_ERR_EINVAL after wrong parameter"); 122 pico_err = PICO_ERR_NOERR; 127 fail_unless(pico_err == PICO_ERR_EINVAL, "DHCP_SERVER> initiate succeeded without PICO_ERR_EINVAL after wrong parameter"); 131 pico_err = PICO_ERR_NOERR; 511 pico_err = PICO_ERR_NOERR; 516 fail_unless(pico_err == PICO_ERR_EINVAL, "DHCP_SERVER> initiate succeeded without PICO_ERR_EINVAL after wrong parameter"); 520 pico_err = PICO_ERR_NOERR; 525 fail_unless(pico_err == PICO_ERR_EINVAL, "DHCP_SERVER> initiate succeeded without PICO_ERR_EINVAL after wrong parameter"); 541 pico_err [all...] |
H A D | unit_socket.c | 131 fail_if(ret < 0, "socket> tcp socket listen failed: %s", strerror(pico_err)); 140 fail_if(sa == NULL && pico_err != PICO_ERR_EAGAIN, "socket> tcp socket accept failed: %s", strerror(pico_err)); 143 fail_if(ret < 0, "socket> tcp socket close failed: %s\n", strerror(pico_err)); 156 fail_if(ret < 0, "socket> tcp socket write failed: %s\n", strerror(pico_err)); 166 fail_if(ret < 0, "socket> tcp socket read failed, ret = %d: %s\n", ret, strerror(pico_err)); /* tcp_recv returns 0 when no frame !? */ 179 fail_if(ret <= 0, "socket> tcp socket send failed: %s\n", strerror(pico_err)); 189 fail_if(ret < 0, "socket> tcp socket recv failed, ret = %d: %s\n", ret, strerror(pico_err)); /* tcp_recv returns 0 when no frame !? */ 206 fail_if(ret <= 0, "socket> udp socket sendto failed, ret = %d: %s\n", ret, strerror(pico_err)); 220 fail_if(ret != 0, "socket> tcp socket recvfrom failed, ret = %d: %s\n", ret, strerror(pico_err)); /* tcp_rec [all...] |