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

/seL4-camkes-master/projects/camkes/apps/picoserver/components/Echo/src/
H A Decho.c71 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 Dtcp_echo_socket.c34 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 Dtcp_echo_socket.c21 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 Dclient.h40 extern int socket_in;
H A Decho.c30 } else if (socket == socket_in || socket == tcp_echo_client) {

Completed in 49 milliseconds