Searched refs:pico_socket_sendto_set_localport (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/picotcp/stack/ | ||
H A D | pico_socket.c | 1004 static int32_t pico_socket_sendto_set_localport(struct pico_socket *s) function 1396 if (pico_socket_sendto_set_localport(s) < 0) { |
Completed in 29 milliseconds