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

/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h253 uint32_t pico_socket_get_mss(struct pico_socket *s);
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1281 uint32_t pico_socket_get_mss(struct pico_socket *s) function
1310 transport_len = (uint16_t)pico_socket_get_mss(s);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_tcp.c1060 t->mss = (uint16_t)(pico_socket_get_mss(&t->sock) - PICO_SIZE_TCPHDR);
1229 mtu = (uint16_t)pico_socket_get_mss(s);
2405 mtu = (uint16_t)pico_socket_get_mss(&new->sock);
2463 return (uint16_t)pico_socket_get_mss(s);

Completed in 90 milliseconds