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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c961 static struct pico_remote_endpoint *pico_socket_sendto_destination_ipv6(struct pico_socket *s, struct pico_ip6 *dst, uint16_t port) function
984 (void)pico_socket_sendto_destination_ipv6;
990 ep = pico_socket_sendto_destination_ipv6(s, (struct pico_ip6 *)dst, port);

Completed in 40 milliseconds