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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c796 static uint16_t pico_socket_high_port(uint16_t proto) function
1008 s->local_port = pico_socket_high_port(s->proto->proto_number);
1593 *port = pico_socket_high_port(PROTO(s));
1638 s->local_port = pico_socket_high_port(PROTO(s));

Completed in 84 milliseconds