Searched refs:pico_get_sockport (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_socket.c | 179 struct pico_sockport *pico_get_sockport(uint16_t proto, uint16_t port) function 330 sp = pico_get_sockport(proto, port); 344 test = pico_get_sockport(PROTO(s), s->local_port); 366 sp = pico_get_sockport(PICO_PROTO_TCP, local); 392 sp = pico_get_sockport(PROTO(s), s->local_port); 505 struct pico_sockport *sp = pico_get_sockport(PROTO(s), s->local_port); 546 sp = pico_get_sockport(PROTO(s), s->local_port); 585 sp = pico_get_sockport(p->proto_number, localport); 1760 struct pico_sockport *sp = pico_get_sockport(PICO_PROTO_TCP, s->local_port); 2251 port = pico_get_sockport(prot [all...] |
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_socket.h | 251 struct pico_sockport *pico_get_sockport(uint16_t proto, uint16_t port);
|
Completed in 35 milliseconds