/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | tcp_echo_socket.c | 22 * every byte it receives in order. At most MAX_TCP_CLIENTS can be connected at 37 static struct pico_socket *connected[MAX_TCP_CLIENTS]; variable in typeref:struct:pico_socket 70 if (connected[i] == s) { 77 /* New client connected event */ 85 if (connected[i] == NULL) { 94 connected[connect_client_id] = pico_socket_accept(socket_in, &peer_addr, &remote_port); 95 if (connected[connect_client_id] == NULL) { 101 printf("%s: Connection established with %s on socket %p\n", get_instance_name(), ip_string, connected); 178 connected[client_id] = NULL;
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | altcp_proxyconnect.c | 167 /* upper connected is called when handshake is done */ 169 if (conn->connected) { 170 if (conn->connected(conn->arg, conn, err) == ERR_ABRT) { 237 if (conn->connected) { 238 return conn->connected(conn->arg, conn, ERR_OK); 459 altcp_proxyconnect_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 475 conn->connected = connected;
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | altcp_tcp.c | 94 if (conn->connected) { 95 return conn->connected(conn->arg, conn, err); 266 altcp_tcp_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 273 conn->connected = connected;
|
H A D | altcp.c | 316 altcp_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 319 return conn->fns->connect(conn, ipaddr, port, connected);
|
H A D | tcp.c | 21 * incoming connections or be explicitly connected to another host. 170 /** List of all TCP PCBs bound but not yet (connected || listening) */ 337 * Connection pcbs are freed if not yet connected and may not be referenced 467 * Connection pcbs are freed if not yet connected and may not be referenced 546 /* Not (yet?) connected, cannot shutdown the TX side as that would bring us 858 LWIP_ERROR("tcp_listen_with_backlog_and_err: pcb already connected", pcb->state == CLOSED, res = ERR_CLSD; goto done); 1039 * Connects to another host. The function given as the "connected" 1046 * function specified as the fourth argument (the "connected" argument) 1060 * @param connected callback function to call when connected (o 1067 tcp_connect(struct tcp_pcb *pcb, const ip_addr_t *ipaddr, u16_t port, tcp_connected_fn connected) argument [all...] |
/seL4-camkes-master/projects/lwip/test/unit/mqtt/ |
H A D | test_mqtt.c | 93 client->conn->connected(client->conn->callback_arg, client->conn, ERR_OK);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | altcp.h | 75 altcp_connected_fn connected; member in struct:altcp_pcb 104 err_t altcp_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected);
|
H A D | tcp.h | 122 /** Function prototype for tcp connected callback functions. Called when a pcb 123 * is connected to the remote side after initiating a connection attempt by 127 * @param tpcb The connection pcb which is connected 230 /* Function to call when a listener has been connected. */ 356 tcp_connected_fn connected; member in struct:tcp_pcb 462 u16_t port, tcp_connected_fn connected);
|
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls.c | 157 /* upper connected is called when handshake is done */ 159 if (conn->connected) { 160 return conn->connected(conn->arg, conn, err); 285 if (conn->connected) { 287 err = conn->connected(conn->arg, conn, ERR_OK); 929 altcp_mbedtls_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 934 conn->connected = connected;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | altcp_priv.h | 62 typedef err_t (*altcp_connect_fn)(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected);
|
H A D | tcp_priv.h | 221 if((pcb)->connected != NULL) \ 222 (ret) = (pcb)->connected((pcb)->callback_arg,(pcb),(err)); \
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_sock.tex | 11 socket will be unbound and not connected. 60 This function will be called to read data from a connected socket. The function checks that the socket is bound and connected before attempting to receive data. 95 This function will be called to write the content of a buffer to a socket that has been previously connected. 96 This function checks that the socket is bound, connected and that it is allowed to send data, i.e. there hasn't been a local shutdown. 97 This is the preferred function to use when writing data from the application to a connected stream. 119 \item \texttt{PICO$\_$ERR$\_$ENOTCONN} - the socket is not connected 137 whether the remote endpoint is connected. Specifying the destination is particularly useful while sending single datagrams 180 It is useful when called in the context of a non-connected socket, to receive 331 It checks if the socket is connected an [all...] |
H A D | chap_api_ppp.tex | 4 configuration and authentication over a point-to-point link. In a connected 13 can be connected to the ppp device abstraction, using \texttt{pico\_ppp\_set\_serial\_read},
|
H A D | chap_api_ipv6.tex | 486 This allows the hosts connected to the target interface to use the picoTCP IPv6 machine as a router
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 256 # twice and all required interfaces are connected. Note that this 259 connected = set() 266 if (end.instance, end.interface) in connected: 275 connected.add((end.instance, end.interface)) 289 'connected' % (i.name, inf.name), i)
|