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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1129 static int pico_socket_xmit_avail_space(struct pico_socket *s);
1161 int space = pico_socket_xmit_avail_space(s);
1300 static int pico_socket_xmit_avail_space(struct pico_socket *s) function
1325 int space = pico_socket_xmit_avail_space(s);

Completed in 34 milliseconds