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

/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h242 int8_t pico_socket_add(struct pico_socket *s);
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c383 int8_t pico_socket_add(struct pico_socket *s) function
541 return pico_socket_add(s);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_tcp.c2425 pico_socket_add(&new->sock);

Completed in 104 milliseconds