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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1038 static struct pico_remote_endpoint *pico_socket_set_info(struct pico_remote_endpoint *ep) function
1111 f->info = pico_socket_set_info(ep);
1207 f->info = pico_socket_set_info(ep);

Completed in 26 milliseconds