Searched refs:pico_socket_getname (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_socket.c | 65 ret = pico_socket_getname(NULL, &inaddr_link, &port_be, &proto); 67 ret = pico_socket_getname(sk_tcp, NULL, &port_be, &proto); 69 ret = pico_socket_getname(sk_tcp, &inaddr_link, NULL, &proto); 71 ret = pico_socket_getname(sk_tcp, &inaddr_link, &port_be, NULL); 94 ret = pico_socket_getname(sk_udp, &inaddr_got, &port_got, &proto);
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_socket.h | 197 int pico_socket_getname(struct pico_socket *s, void *local_addr, uint16_t *port, uint16_t *proto);
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_sock.tex | 442 int pico_socket_getname(struct pico_socket *s, void *local_addr, uint16_t *port, 466 errMsg = pico_socket_getname(sk_tcp, address, &port, &proto);
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_socket.c | 1494 int pico_socket_getname(struct pico_socket *s, void *local_addr, uint16_t *port, uint16_t *proto) function
|
Completed in 118 milliseconds