Searched refs:socket_in (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/camkes/apps/picoserver/components/Echo/src/ |
H A D | echo.c | 71 int socket_in = echo_control_open(false); local 72 if (socket_in == -1) { 81 int ret = echo_control_bind(socket_in, PICOSERVER_ANY_ADDR_IPV4, ECHO_PORT); 86 ret = echo_control_listen(socket_in, 1);
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | tcp_echo_socket.c | 34 static struct pico_socket *socket_in; variable in typeref:struct:pico_socket 68 if (s != socket_in) { 94 connected[connect_client_id] = pico_socket_accept(socket_in, &peer_addr, &remote_port); 190 socket_in = pico_socket_open(PICO_PROTO_IPV4, PICO_PROTO_TCP, handle_tcp_picoserver_notification); 191 if (socket_in == NULL) { 197 int ret = pico_socket_bind(socket_in, &local_addr, &port); 205 ret = pico_socket_listen(socket_in, MAX_TCP_CLIENTS);
|
/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/ |
H A D | tcp_echo_socket.c | 21 int socket_in; variable 165 socket_in = echo_control_open(false); 166 if (socket_in == -1) { 169 int ret = echo_control_set_async(socket_in, true); 174 ret = echo_control_bind(socket_in, PICOSERVER_ANY_ADDR_IPV4, TCP_ECHO_PORT); 179 ret = echo_control_listen(socket_in, 1);
|
H A D | client.h | 40 extern int socket_in;
|
H A D | echo.c | 30 } else if (socket == socket_in || socket == tcp_echo_client) {
|
Completed in 49 milliseconds