/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_protocol.h | 66 extern volatile pico_err_t pico_err;
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | slaacv4.c | 66 printf("%s: error getting device %s: %s\n", __FUNCTION__, dev->name, strerror(pico_err));
|
H A D | tcpbench.c | 91 printf("tcpbench> ---- Socket Error received: %s. Bailing out.\n", strerror(pico_err)); 92 if (!pico_err == PICO_ERR_ECONNRESET) { 99 printf("tcpbench> ---- Socket Error: '%s'. Was unexpected! Something went wrong.\n", strerror(pico_err)); 289 printf("tcpbench> BIND failed because %s\n", strerror(pico_err));
|
H A D | multicast_send.c | 99 picoapp_dbg("%s: socket_setoption PICO_IP_ADD_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err));
|
H A D | udp_client.c | 228 printf("%s: error opening socket: %s\n", __FUNCTION__, strerror(pico_err)); 240 printf("%s: error binding socket to %s:%u: %s\n", __FUNCTION__, sinaddr_any, short_be(listen_port), strerror(pico_err)); 250 printf("%s: error connecting to [%s]:%u: %s\n", __FUNCTION__, daddr, short_be(udpclient_pas->sport), strerror(pico_err));
|
H A D | multicast_ip6_send.c | 105 picoapp_dbg("%s: socket_setoption PICO_IP_ADD_MEMBERSHIP failed: %s\n", __FUNCTION__, strerror(pico_err));
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_icmp6.c | 70 pico_err = PICO_ERR_ENOMEM; 174 pico_err = PICO_ERR_ENOMEM; 191 pico_err = PICO_ERR_ENOMEM; 207 pico_err = PICO_ERR_ENOMEM; 338 pico_err = PICO_ERR_ENOMEM; 476 pico_err = PICO_ERR_ENOMEM; 538 pico_err = PICO_ERR_ENOMEM; 607 pico_err = PICO_ERR_ENOMEM; 695 pico_err = PICO_ERR_ENOMEM; 783 pico_err [all...] |
H A D | pico_icmp4.c | 34 pico_err = PICO_ERR_EINVAL; 114 pico_err = PICO_ERR_EINVAL; 374 pico_err = PICO_ERR_EINVAL; 380 pico_err = PICO_ERR_ENOMEM; 385 pico_err = PICO_ERR_EINVAL; 430 pico_err = PICO_ERR_ENOENT;
|
H A D | pico_hotplug_detection.c | 135 pico_err = PICO_ERR_EPROTONOSUPPORT; 145 pico_err = PICO_ERR_ENOMEM;
|
H A D | pico_igmp.c | 312 pico_err = PICO_ERR_ENOMEM; 611 pico_err = PICO_ERR_EINVAL; 622 pico_err = PICO_ERR_ENOMEM; 636 pico_err = PICO_ERR_EINVAL; 691 pico_err = PICO_ERR_EPROTONOSUPPORT; 715 pico_err = PICO_ERR_EINVAL; 798 pico_err = PICO_ERR_EINVAL; 804 pico_err = PICO_ERR_EPROTONOSUPPORT; 822 pico_err = PICO_ERR_EINVAL; 875 pico_err [all...] |
H A D | pico_mld.c | 319 pico_err = PICO_ERR_ENOMEM; 519 pico_err = PICO_ERR_ENOMEM; 524 pico_err = PICO_ERR_EINVAL; 537 pico_err = PICO_ERR_EINVAL; 678 pico_err = PICO_ERR_ENOMEM; 731 pico_err = PICO_ERR_EPROTONOSUPPORT; 753 pico_err = PICO_ERR_EINVAL; 810 pico_err = PICO_ERR_EINVAL; 844 pico_err = PICO_ERR_EINVAL; 863 pico_err [all...] |
H A D | pico_dhcp_client.c | 136 pico_err = PICO_ERR_EAGAIN; 142 pico_err = PICO_ERR_ENOMEM; 294 pico_err = PICO_ERR_EAGAIN; 451 pico_err = PICO_ERR_EINVAL; 456 pico_err = PICO_ERR_EOPNOTSUPP; 466 pico_err = PICO_ERR_EAGAIN; 676 dhcpc_dbg("DHCP client ERROR: failure opening socket on renew, aborting DHCP! (%s)\n", strerror(pico_err)); 683 dhcpc_dbg("DHCP client ERROR: failure binding socket on renew, aborting DHCP! (%s)\n", strerror(pico_err)); 909 pico_err = PICO_ERR_ENOMEM; 922 pico_err [all...] |
H A D | pico_nat.c | 193 pico_err = PICO_ERR_ENOMEM; 405 pico_err = PICO_ERR_EAGAIN; 416 pico_err = PICO_ERR_EINVAL; 557 pico_err = PICO_ERR_EINVAL;
|
H A D | pico_aodv.c | 546 pico_err = PICO_ERR_EINVAL; 610 pico_err = PICO_ERR_EADDRINUSE; 619 uint16_t err = pico_err; 621 pico_err = err; 668 pico_err = PICO_ERR_EINVAL;
|
H A D | pico_ipfilter.c | 372 pico_err = PICO_ERR_EINVAL; 378 pico_err = PICO_ERR_ENOMEM;
|
H A D | pico_ethernet.c | 290 pico_err = PICO_ERR_EPROTONOSUPPORT;
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_sntp_client.c | 7 volatile pico_err_t pico_err = 0; variable 310 fail_if(pico_err != PICO_ERR_EINVAL); 313 fail_if(pico_err != PICO_ERR_EINVAL); 323 fail_if(pico_err != PICO_ERR_EINVAL); 326 fail_if(pico_err != PICO_ERR_EINVAL);
|
H A D | modunit_pico_ipfilter.c | 27 volatile pico_err_t pico_err; variable 296 fail_if(pico_err != PICO_ERR_ENOMEM);
|
H A D | modunit_pico_frame.c | 7 volatile pico_err_t pico_err; variable
|
H A D | modunit_pico_protocol.c | 8 volatile pico_err_t pico_err = 0; variable
|
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/ |
H A D | picotcp-init.c | 57 ZF_LOGF_IF(code == PICO_DHCP_ERROR, "Error occurred in pico DHCP negotiation: %s", strerror(pico_err))
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | utilization_socket.c | 146 ZF_LOGE("Failed to bind a socket for listening: %d!", pico_err);
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_stack.c | 45 volatile pico_err_t pico_err; variable 831 pico_err = PICO_ERR_ENOMEM; 847 pico_err = PICO_ERR_ENOMEM;
|
H A D | pico_device.c | 79 pico_err = PICO_ERR_ENOMEM; 144 pico_err = PICO_ERR_ENOMEM;
|
H A D | pico_tree.c | 168 pico_err = PICO_ERR_EEXIST; 176 pico_err = PICO_ERR_ENOMEM;
|