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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1360 static void pico_socket_sendto_set_dport(struct pico_socket *s, uint16_t port) function
1401 pico_socket_sendto_set_dport(s, remote_port);

Completed in 80 milliseconds