Searched refs:pico_socket_del (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h203 int8_t pico_socket_del(struct pico_socket *s);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_sntp_client.c232 pico_socket_del(sock);
H A Dpico_tcp.c1199 pico_socket_del(&t->sock);
1397 pico_socket_del(&t->sock);
1949 pico_socket_del(&t->sock);
2303 pico_socket_del(&t->sock);
2363 pico_socket_del(s);
2653 pico_socket_del(&t->sock);
3239 pico_socket_del(s);
H A Dpico_mdns.c3573 pico_socket_del(mdns_sock_ipv4);
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_sntp_client.c40 int8_t pico_socket_del(struct pico_socket *s) function
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c503 int8_t pico_socket_del(struct pico_socket *s) function
544 return pico_socket_del(s);
2106 pico_socket_del(s);

Completed in 112 milliseconds