/seL4-camkes-master/projects/lwip/src/core/ |
H A D | altcp.c | 149 altcp_free(struct altcp_pcb *conn) argument 151 if (conn) { 152 if (conn->fns && conn->fns->dealloc) { 153 conn->fns->dealloc(conn); 155 memp_free(MEMP_ALTCP_PCB, conn); 191 struct altcp_pcb *conn; local 200 conn = allocator->alloc(allocator->arg, ip_type); 201 if (conn 213 altcp_arg(struct altcp_pcb *conn, void *arg) argument 225 altcp_accept(struct altcp_pcb *conn, altcp_accept_fn accept) argument 237 altcp_recv(struct altcp_pcb *conn, altcp_recv_fn recv) argument 249 altcp_sent(struct altcp_pcb *conn, altcp_sent_fn sent) argument 261 altcp_poll(struct altcp_pcb *conn, altcp_poll_fn poll, u8_t interval) argument 277 altcp_err(struct altcp_pcb *conn, altcp_err_fn err) argument 291 altcp_recved(struct altcp_pcb *conn, u16_t len) argument 303 altcp_bind(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port) argument 316 altcp_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 329 altcp_listen_with_backlog_and_err(struct altcp_pcb *conn, u8_t backlog, err_t *err) argument 342 altcp_abort(struct altcp_pcb *conn) argument 354 altcp_close(struct altcp_pcb *conn) argument 367 altcp_shutdown(struct altcp_pcb *conn, int shut_rx, int shut_tx) argument 380 altcp_write(struct altcp_pcb *conn, const void *dataptr, u16_t len, u8_t apiflags) argument 393 altcp_output(struct altcp_pcb *conn) argument 406 altcp_mss(struct altcp_pcb *conn) argument 419 altcp_sndbuf(struct altcp_pcb *conn) argument 432 altcp_sndqueuelen(struct altcp_pcb *conn) argument 441 altcp_nagle_disable(struct altcp_pcb *conn) argument 449 altcp_nagle_enable(struct altcp_pcb *conn) argument 457 altcp_nagle_disabled(struct altcp_pcb *conn) argument 470 altcp_setprio(struct altcp_pcb *conn, u8_t prio) argument 478 altcp_get_tcp_addrinfo(struct altcp_pcb *conn, int local, ip_addr_t *addr, u16_t *port) argument 487 altcp_get_ip(struct altcp_pcb *conn, int local) argument 496 altcp_get_port(struct altcp_pcb *conn, int local) argument 506 altcp_dbg_get_tcp_state(struct altcp_pcb *conn) argument 518 altcp_default_set_poll(struct altcp_pcb *conn, u8_t interval) argument 526 altcp_default_recved(struct altcp_pcb *conn, u16_t len) argument 534 altcp_default_bind(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port) argument 543 altcp_default_shutdown(struct altcp_pcb *conn, int shut_rx, int shut_tx) argument 558 altcp_default_write(struct altcp_pcb *conn, const void *dataptr, u16_t len, u8_t apiflags) argument 567 altcp_default_output(struct altcp_pcb *conn) argument 576 altcp_default_mss(struct altcp_pcb *conn) argument 585 altcp_default_sndbuf(struct altcp_pcb *conn) argument 594 altcp_default_sndqueuelen(struct altcp_pcb *conn) argument 603 altcp_default_nagle_disable(struct altcp_pcb *conn) argument 611 altcp_default_nagle_enable(struct altcp_pcb *conn) argument 619 altcp_default_nagle_disabled(struct altcp_pcb *conn) argument 628 altcp_default_setprio(struct altcp_pcb *conn, u8_t prio) argument 636 altcp_default_dealloc(struct altcp_pcb *conn) argument 643 altcp_default_get_tcp_addrinfo(struct altcp_pcb *conn, int local, ip_addr_t *addr, u16_t *port) argument 652 altcp_default_get_ip(struct altcp_pcb *conn, int local) argument 661 altcp_default_get_port(struct altcp_pcb *conn, int local) argument 671 altcp_default_dbg_get_tcp_state(struct altcp_pcb *conn) argument [all...] |
H A D | altcp_tcp.c | 56 #define ALTCP_TCP_ASSERT_CONN(conn) do { \ 57 LWIP_ASSERT("conn->inner_conn == NULL", (conn)->inner_conn == NULL); \ 58 LWIP_UNUSED_ARG(conn); /* for LWIP_NOASSERT */ } while(0) 59 #define ALTCP_TCP_ASSERT_CONN_PCB(conn, tpcb) do { \ 60 LWIP_ASSERT("pcb mismatch", (conn)->state == tpcb); \ 62 ALTCP_TCP_ASSERT_CONN(conn); } while(0) 69 static void altcp_tcp_setup(struct altcp_pcb *conn, struct tcp_pcb *tpcb); 91 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 92 if (conn) { 104 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 121 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 134 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 147 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 170 altcp_tcp_setup_callbacks(struct altcp_pcb *conn, struct tcp_pcb *tpcb) argument 181 altcp_tcp_setup(struct altcp_pcb *conn, struct tcp_pcb *tpcb) argument 234 altcp_tcp_set_poll(struct altcp_pcb *conn, u8_t interval) argument 244 altcp_tcp_recved(struct altcp_pcb *conn, u16_t len) argument 254 altcp_tcp_bind(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port) argument 266 altcp_tcp_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 279 altcp_tcp_listen(struct altcp_pcb *conn, u8_t backlog, err_t *err) argument 298 altcp_tcp_abort(struct altcp_pcb *conn) argument 310 altcp_tcp_close(struct altcp_pcb *conn) argument 337 altcp_tcp_shutdown(struct altcp_pcb *conn, int shut_rx, int shut_tx) argument 349 altcp_tcp_write(struct altcp_pcb *conn, const void *dataptr, u16_t len, u8_t apiflags) argument 361 altcp_tcp_output(struct altcp_pcb *conn) argument 373 altcp_tcp_mss(struct altcp_pcb *conn) argument 385 altcp_tcp_sndbuf(struct altcp_pcb *conn) argument 397 altcp_tcp_sndqueuelen(struct altcp_pcb *conn) argument 409 altcp_tcp_nagle_disable(struct altcp_pcb *conn) argument 419 altcp_tcp_nagle_enable(struct altcp_pcb *conn) argument 429 altcp_tcp_nagle_disabled(struct altcp_pcb *conn) argument 440 altcp_tcp_setprio(struct altcp_pcb *conn, u8_t prio) argument 450 altcp_tcp_dealloc(struct altcp_pcb *conn) argument 458 altcp_tcp_get_tcp_addrinfo(struct altcp_pcb *conn, int local, ip_addr_t *addr, u16_t *port) argument 469 altcp_tcp_get_ip(struct altcp_pcb *conn, int local) argument 486 altcp_tcp_get_port(struct altcp_pcb *conn, int local) argument 504 altcp_tcp_dbg_get_tcp_state(struct altcp_pcb *conn) argument [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | altcp_priv.h | 56 void altcp_free(struct altcp_pcb *conn); 59 typedef void (*altcp_set_poll_fn)(struct altcp_pcb *conn, u8_t interval); 60 typedef void (*altcp_recved_fn)(struct altcp_pcb *conn, u16_t len); 61 typedef err_t (*altcp_bind_fn)(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port); 62 typedef err_t (*altcp_connect_fn)(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected); 64 typedef struct altcp_pcb *(*altcp_listen_fn)(struct altcp_pcb *conn, u8_t backlog, err_t *err); 66 typedef void (*altcp_abort_fn)(struct altcp_pcb *conn); 67 typedef err_t (*altcp_close_fn)(struct altcp_pcb *conn); 68 typedef err_t (*altcp_shutdown_fn)(struct altcp_pcb *conn, int shut_rx, int shut_tx); 70 typedef err_t (*altcp_write_fn)(struct altcp_pcb *conn, cons [all...] |
H A D | api_msg.h | 82 struct netconn *conn; member in struct:api_msg 160 #define LWIP_API_MSG_SEM(msg) (&(msg)->conn->op_completed) 220 void netconn_free(struct netconn *conn);
|
H A D | sockets_priv.h | 69 struct netconn *conn; member in struct:lwip_sock
|
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | api_msg.c | 62 #define SET_NONBLOCKING_CONNECT(conn, val) do { if (val) { \ 63 netconn_set_flags(conn, NETCONN_FLAG_IN_NONBLOCKING_CONNECT); \ 65 netconn_clear_flags(conn, NETCONN_FLAG_IN_NONBLOCKING_CONNECT); }} while(0) 66 #define IN_NONBLOCKING_CONNECT(conn) netconn_is_flag_set(conn, NETCONN_FLAG_IN_NONBLOCKING_CONNECT) 69 #define NETCONN_MBOX_VALID(conn, mbox) (sys_mbox_valid(mbox) && ((conn->flags & NETCONN_FLAG_MBOXINVALID) == 0)) 71 #define NETCONN_MBOX_VALID(conn, mbox) sys_mbox_valid(mbox) 83 static err_t lwip_netconn_do_writemore(struct netconn *conn WRITE_DELAYED_PARAM); 84 static err_t lwip_netconn_do_close_internal(struct netconn *conn WRITE_DELAYED_PARA 164 struct netconn *conn; local 222 struct netconn *conn; local 295 struct netconn *conn; local 359 struct netconn *conn = (struct netconn *)arg; local 400 struct netconn *conn = (struct netconn *)arg; local 434 struct netconn *conn; local 514 setup_tcp(struct netconn *conn) argument 536 struct netconn *conn = (struct netconn *)arg; local 707 struct netconn *conn; local 794 netconn_free(struct netconn *conn) argument 827 netconn_drain(struct netconn *conn) argument 892 netconn_mark_mbox_invalid(struct netconn *conn) argument 1303 struct netconn *conn; local [all...] |
H A D | api_lib.c | 95 #define NETCONN_RECVMBOX_WAITABLE(conn) (sys_mbox_valid(&(conn)->recvmbox) && (((conn)->flags & NETCONN_FLAG_MBOXINVALID) == 0)) 96 #define NETCONN_ACCEPTMBOX_WAITABLE(conn) (sys_mbox_valid(&(conn)->acceptmbox) && (((conn)->flags & (NETCONN_FLAG_MBOXCLOSED|NETCONN_FLAG_MBOXINVALID)) == 0)) 97 #define NETCONN_MBOX_WAITING_INC(conn) SYS_ARCH_INC(conn->mbox_threads_waiting, 1) 98 #define NETCONN_MBOX_WAITING_DEC(conn) SYS_ARCH_DEC(conn 151 struct netconn *conn; local 192 netconn_prepare_delete(struct netconn *conn) argument 233 netconn_delete(struct netconn *conn) argument 269 netconn_getaddr(struct netconn *conn, ip_addr_t *addr, u16_t *port, u8_t local) argument 307 netconn_bind(struct netconn *conn, const ip_addr_t *addr, u16_t port) argument 351 netconn_bind_if(struct netconn *conn, u8_t if_idx) argument 377 netconn_connect(struct netconn *conn, const ip_addr_t *addr, u16_t port) argument 409 netconn_disconnect(struct netconn *conn) argument 434 netconn_listen_with_backlog(struct netconn *conn, u8_t backlog) argument 471 netconn_accept(struct netconn *conn, struct netconn **new_conn) argument 579 netconn_recv_data(struct netconn *conn, void **new_buf, u8_t apiflags) argument 677 netconn_tcp_recvd_msg(struct netconn *conn, size_t len, struct api_msg *msg) argument 689 netconn_tcp_recvd(struct netconn *conn, size_t len) argument 703 netconn_recv_data_tcp(struct netconn *conn, struct pbuf **new_buf, u8_t apiflags) argument 782 netconn_recv_tcp_pbuf(struct netconn *conn, struct pbuf **new_buf) argument 803 netconn_recv_tcp_pbuf_flags(struct netconn *conn, struct pbuf **new_buf, u8_t apiflags) argument 822 netconn_recv_udp_raw_netbuf(struct netconn *conn, struct netbuf **new_buf) argument 842 netconn_recv_udp_raw_netbuf_flags(struct netconn *conn, struct netbuf **new_buf, u8_t apiflags) argument 860 netconn_recv(struct netconn *conn, struct netbuf **new_buf) argument 922 netconn_sendto(struct netconn *conn, struct netbuf *buf, const ip_addr_t *addr, u16_t port) argument 941 netconn_send(struct netconn *conn, struct netbuf *buf) argument 974 netconn_write_partly(struct netconn *conn, const void *dataptr, size_t size, u8_t apiflags, size_t *bytes_written) argument 997 netconn_write_vectors_partly(struct netconn *conn, struct netvector *vectors, u16_t vectorcnt, u8_t apiflags, size_t *bytes_written) argument 1089 netconn_close_shutdown(struct netconn *conn, u8_t how) argument 1125 netconn_close(struct netconn *conn) argument 1139 netconn_err(struct netconn *conn) argument 1163 netconn_shutdown(struct netconn *conn, u8_t shut_rx, u8_t shut_tx) argument 1181 netconn_join_leave_group(struct netconn *conn, const ip_addr_t *multiaddr, const ip_addr_t *netif_addr, enum netconn_igmp join_or_leave) argument 1223 netconn_join_leave_group_netif(struct netconn *conn, const ip_addr_t *multiaddr, u8_t if_idx, enum netconn_igmp join_or_leave) argument [all...] |
H A D | sockets.c | 124 ((((name)->sa_family == AF_INET) && !(NETCONNTYPE_ISIPV6((sock)->conn->type))) || \ 125 (((name)->sa_family == AF_INET6) && (NETCONNTYPE_ISIPV6((sock)->conn->type)))) 165 if ((sock)->conn == NULL) { done_socket(sock); return EINVAL; } }while(0) 168 if (((sock)->conn == NULL) || ((sock)->conn->pcb.tcp == NULL)) { done_socket(sock); return EINVAL; } }while(0) 171 if (NETCONNTYPE_GROUP(netconn_type((sock)->conn)) != netconntype) { done_socket(sock); return ENOPROTOOPT; } }while(0) 288 static void event_callback(struct netconn *conn, enum netconn_evt evt, u16_t len); 300 static int free_socket_locked(struct lwip_sock *sock, int is_tcp, struct netconn **conn, 302 static void free_socket_free_elements(int is_tcp, struct netconn *conn, union lwip_sock_lastdata *lastdata); 381 struct netconn *conn local 548 free_socket_locked(struct lwip_sock *sock, int is_tcp, struct netconn **conn, union lwip_sock_lastdata *lastdata) argument 572 free_socket_free_elements(int is_tcp, struct netconn *conn, union lwip_sock_lastdata *lastdata) argument 597 struct netconn *conn; local 1023 lwip_sock_make_addr(struct netconn *conn, ip_addr_t *fromaddr, u16_t port, struct sockaddr *from, socklen_t *fromlen) argument 1687 struct netconn *conn; local 2477 event_callback(struct netconn *conn, enum netconn_evt evt, u16_t len) argument [all...] |
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | altcp_proxyconnect.c | 110 altcp_proxyconnect_send_request(struct altcp_pcb *conn) argument 115 altcp_proxyconnect_state_t *state = (altcp_proxyconnect_state_t *)conn->state; 144 err_t err = altcp_write(conn->inner_conn, buffer, (u16_t)len2, TCP_WRITE_FLAG_COPY); 163 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 164 if (conn && conn->state) { 165 LWIP_ASSERT("pcb mismatch", conn->inner_conn == inner_conn); 169 if (conn->connected) { 170 if (conn->connected(conn 190 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 253 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 278 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 292 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 306 altcp_proxyconnect_setup_callbacks(struct altcp_pcb *conn, struct altcp_pcb *inner_conn) argument 317 altcp_proxyconnect_setup(struct altcp_proxyconnect_config *config, struct altcp_pcb *conn, struct altcp_pcb *inner_conn) argument 434 altcp_proxyconnect_set_poll(struct altcp_pcb *conn, u8_t interval) argument 442 altcp_proxyconnect_recved(struct altcp_pcb *conn, u16_t len) argument 459 altcp_proxyconnect_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 484 altcp_proxyconnect_listen(struct altcp_pcb *conn, u8_t backlog, err_t *err) argument 494 altcp_proxyconnect_abort(struct altcp_pcb *conn) argument 505 altcp_proxyconnect_close(struct altcp_pcb *conn) argument 523 altcp_proxyconnect_write(struct altcp_pcb *conn, const void *dataptr, u16_t len, u8_t apiflags) argument 546 altcp_proxyconnect_dealloc(struct altcp_pcb *conn) argument [all...] |
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_netconn.c | 51 struct netconn *conn; local 58 conn = netconn_new(NETCONN_UDP_IPV6); 59 netconn_bind(conn, IP6_ADDR_ANY, LWIP_IANA_PORT_SNMP); 61 conn = netconn_new(NETCONN_UDP); 62 netconn_bind(conn, IP4_ADDR_ANY, LWIP_IANA_PORT_SNMP); 64 LWIP_ERROR("snmp_netconn: invalid conn", (conn != NULL), return;); 66 snmp_traps_handle = conn; 69 err = netconn_recv(conn, &buf); 72 snmp_receive(conn, bu 97 struct netconn *conn = (struct netconn *)handle; local [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | api.h | 161 * - accept mbox (sys_arch_mbox_fetch(&conn->acceptmbox, &accept_ptr, 0); in netconn_accept()) 162 * - receive mbox (sys_arch_mbox_fetch(&conn->recvmbox, &buf, 0); in netconn_recv_data()) 314 err_t netconn_prepare_delete(struct netconn *conn); 315 err_t netconn_delete(struct netconn *conn); 317 #define netconn_type(conn) (conn->type) 319 err_t netconn_getaddr(struct netconn *conn, ip_addr_t *addr, 326 err_t netconn_bind(struct netconn *conn, const ip_addr_t *addr, u16_t port); 327 err_t netconn_bind_if(struct netconn *conn, u8_t if_idx); 328 err_t netconn_connect(struct netconn *conn, cons [all...] |
H A D | altcp.h | 60 typedef err_t (*altcp_connected_fn)(void *arg, struct altcp_pcb *conn, err_t err); 61 typedef err_t (*altcp_recv_fn)(void *arg, struct altcp_pcb *conn, struct pbuf *p, err_t err); 62 typedef err_t (*altcp_sent_fn)(void *arg, struct altcp_pcb *conn, u16_t len); 63 typedef err_t (*altcp_poll_fn)(void *arg, struct altcp_pcb *conn); 95 void altcp_arg(struct altcp_pcb *conn, void *arg); 96 void altcp_accept(struct altcp_pcb *conn, altcp_accept_fn accept); 97 void altcp_recv(struct altcp_pcb *conn, altcp_recv_fn recv); 98 void altcp_sent(struct altcp_pcb *conn, altcp_sent_fn sent); 99 void altcp_poll(struct altcp_pcb *conn, altcp_poll_fn poll, u8_t interval); 100 void altcp_err(struct altcp_pcb *conn, altcp_err_f [all...] |
H A D | altcp_tls.h | 109 void *altcp_tls_context(struct altcp_pcb *conn);
|
/seL4-camkes-master/projects/lwip/src/apps/lwiperf/ |
H A D | lwiperf.c | 229 lwip_tcp_conn_report(lwiperf_state_tcp_t *conn, enum lwiperf_report_type report_type) argument 231 if ((conn != NULL) && (conn->report_fn != NULL)) { 234 duration_ms = now - conn->time_started; 238 bandwidth_kbitpsec = (conn->bytes_transferred / duration_ms) * 8U; 240 conn->report_fn(conn->report_arg, report_type, 241 &conn->conn_pcb->local_ip, conn->conn_pcb->local_port, 242 &conn 249 lwiperf_tcp_close(lwiperf_state_tcp_t *conn, enum lwiperf_report_type report_type) argument 276 lwiperf_tcp_client_send_more(lwiperf_state_tcp_t *conn) argument 356 lwiperf_state_tcp_t *conn = (lwiperf_state_tcp_t *)arg; local 371 lwiperf_state_tcp_t *conn = (lwiperf_state_tcp_t *)arg; local 439 lwiperf_tx_start_passive(lwiperf_state_tcp_t *conn) argument 462 lwiperf_state_tcp_t *conn = (lwiperf_state_tcp_t *)arg; local 566 lwiperf_state_tcp_t *conn = (lwiperf_state_tcp_t *)arg; local 575 lwiperf_state_tcp_t *conn = (lwiperf_state_tcp_t *)arg; local 594 lwiperf_state_tcp_t *s, *conn; local [all...] |
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls.c | 112 static err_t altcp_mbedtls_setup(void *conf, struct altcp_pcb *conn, struct altcp_pcb *inner_conn); 113 static err_t altcp_mbedtls_lower_recv_process(struct altcp_pcb *conn, altcp_mbedtls_state_t *state); 114 static err_t altcp_mbedtls_handle_rx_appldata(struct altcp_pcb *conn, altcp_mbedtls_state_t *state); 153 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 155 if (conn && conn->state) { 156 LWIP_ASSERT("pcb mismatch", conn->inner_conn == inner_conn); 159 if (conn->connected) { 160 return conn->connected(conn 187 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 250 altcp_mbedtls_lower_recv_process(struct altcp_pcb *conn, altcp_mbedtls_state_t *state) argument 302 altcp_mbedtls_pass_rx_data(struct altcp_pcb *conn, altcp_mbedtls_state_t *state) argument 352 altcp_mbedtls_handle_rx_appldata(struct altcp_pcb *conn, altcp_mbedtls_state_t *state) argument 440 struct altcp_pcb *conn = (struct altcp_pcb *)ctx; local 494 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 521 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 544 struct altcp_pcb *conn = (struct altcp_pcb *)arg; local 567 altcp_mbedtls_setup_callbacks(struct altcp_pcb *conn, struct altcp_pcb *inner_conn) argument 578 altcp_mbedtls_setup(void *conf, struct altcp_pcb *conn, struct altcp_pcb *inner_conn) argument 630 altcp_tls_context(struct altcp_pcb *conn) argument 895 altcp_mbedtls_set_poll(struct altcp_pcb *conn, u8_t interval) argument 903 altcp_mbedtls_recved(struct altcp_pcb *conn, u16_t len) argument 929 altcp_mbedtls_connect(struct altcp_pcb *conn, const ip_addr_t *ipaddr, u16_t port, altcp_connected_fn connected) argument 939 altcp_mbedtls_listen(struct altcp_pcb *conn, u8_t backlog, err_t *err) argument 955 altcp_mbedtls_abort(struct altcp_pcb *conn) argument 963 altcp_mbedtls_close(struct altcp_pcb *conn) argument 992 altcp_mbedtls_sndbuf(struct altcp_pcb *conn) argument 1031 altcp_mbedtls_write(struct altcp_pcb *conn, const void *dataptr, u16_t len, u8_t apiflags) argument 1090 struct altcp_pcb *conn = (struct altcp_pcb *) ctx; local 1121 altcp_mbedtls_mss(struct altcp_pcb *conn) argument 1131 altcp_mbedtls_dealloc(struct altcp_pcb *conn) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | clientapi.c | 42 serial_client_context_t *conn) 51 || conn == NULL) { 55 memset(conn, 0, sizeof(serial_client_context_t)); 63 conn->shmem = vspace_new_pages(client_vspace, 67 if (conn->shmem == NULL) { 71 assert(IS_ALIGNED((uintptr_t)conn->shmem, seL4_PageBits)); 77 shmem_tmp_vaddr = (uintptr_t)conn->shmem; 124 conn->shmem_size = SERIAL_SERVER_SHMEM_MAX_SIZE; 126 &conn->badged_server_ep_cspath); 131 if (conn 40 serial_server_client_connect(seL4_CPtr badged_server_ep_cap, vka_t *client_vka, vspace_t *client_vspace, serial_client_context_t *conn) argument 152 serial_server_write_ipc_invoke(serial_client_context_t *conn, ssize_t len) argument 175 serial_server_printf(serial_client_context_t *conn, const char *fmt, ...) argument 210 serial_server_flush(serial_client_context_t *conn, ssize_t len) argument 224 serial_server_write(serial_client_context_t *conn, const char *in_buff, ssize_t len) argument 246 serial_server_disconnect(serial_client_context_t *conn) argument 266 serial_server_kill(serial_client_context_t *conn) argument [all...] |
H A D | test.c | 51 serial_client_context_t conn; local 64 &env->vka, &env->vspace, &conn); 75 serial_client_context_t conn; local 88 &env->vka, &env->vspace, &conn); 91 error = serial_server_printf(&conn, test_str); 101 serial_client_context_t conn; local 114 &env->vka, &env->vspace, &conn); 117 error = serial_server_write(&conn, test_str, strlen(test_str)); 128 serial_client_context_t conn; local 141 &env->vka, &env->vspace, &conn); 180 serial_client_context_t conn; local 232 serial_client_context_t conn; local 269 serial_client_context_t conn; local 297 serial_client_context_t conn; local [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_pcap.c | 18 pcap_t *conn; member in struct:pico_device_pcap 27 return pcap_inject(pcap->conn, buf, (uint32_t)len); 41 loop_score -= pcap_dispatch(pcap->conn, loop_score, pico_dev_pcap_cb, (u_char *) pcap); 50 pcap_close(pcap->conn); 72 pcap->conn = pcap_open_live(if_file_name, 2000, 100, 10, errbuf); 74 pcap->conn = pcap_open_offline(if_file_name, errbuf); 76 if (!pcap->conn) {
|
H A D | pico_dev_vde.c | 20 VDECONN *conn; member in struct:pico_device_vde 41 return (int)vde_send(vde->conn, buf, (uint32_t)len, 0); 53 pfd.fd = vde_datafd(vde->conn); 59 len = (int)vde_recv(vde->conn, buf, VDE_MTU, 0); 76 vde_close(vde->conn); 110 vde->conn = vde_open(sock, vdename, &open_args); 111 if (!vde->conn) {
|
/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); 98 client->conn->rcv_wnd -= p->tot_len; 99 if (client->conn->recv(client->conn->callback_arg, client->conn, p, ERR_OK) != ERR_OK) {
|
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
H A D | client.h | 39 * serial_client_context_t conn; 40 * error = serial_server_client_connect(..., &conn). 47 * serial_server_printf(&conn, "Hello world from %s!", "john"); 88 * @param conn [out] Connection token returned by the library. Use this to make calls 95 serial_client_context_t *conn); 143 * @param conn Connection handle to the server, returned by 148 int serial_server_kill(serial_client_context_t *conn);
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage4.py | 499 connection Conn conn(from c.p, to s.p); 515 conn = a2.composition.children[0] 516 self.assertIsInstance(conn, Connection) 518 self.assertIs(conn.type, Conn) 520 self.assertLen(conn.from_ends, 1) 521 self.assertIs(conn.from_end.instance, c) 522 self.assertIs(conn.from_end.interface, c.type.uses[0]) 524 self.assertLen(conn.to_ends, 1) 525 self.assertIs(conn.to_end.instance, s) 526 self.assertIs(conn [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | mqtt_priv.h | 82 struct altcp_pcb *conn; member in struct:mqtt_client_s
|
/seL4-camkes-master/projects/lwip/src/apps/mqtt/ |
H A D | mqtt.c | 542 if (client->conn != NULL) { 544 altcp_recv(client->conn, NULL); 545 altcp_err(client->conn, NULL); 546 altcp_sent(client->conn, NULL); 547 res = altcp_close(client->conn); 549 altcp_abort(client->conn); 552 client->conn = NULL; 641 mqtt_output_send(&client->output, client->conn); 936 LWIP_ASSERT("mqtt_tcp_recv_cb: client->conn == pcb", client->conn [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 522 for conn in composition.connections: 524 for end in conn.from_ends + conn.to_ends) 526 group_labels[conn.name] = list(groups)[0]
|