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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c338 static int pico_check_socket(struct pico_socket *s) function
736 if (pico_check_socket(s) != 0) {
787 if (pico_check_socket(s) != 0) {
1418 if (pico_check_socket(s) != 0) {
1440 if (pico_check_socket(s) != 0) {
1718 if (pico_check_socket(s) != 0) {

Completed in 33 milliseconds