Searched refs:pico_socket_recvfrom (Results 1 - 13 of 13) sorted by relevance
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | udp_echo_socket.c | 76 ret = pico_socket_recvfrom(s, udp_data_packet, UDP_READ_SIZE, &udp_orig, &udp_remote_port); 79 ZF_LOGE("pico_socket_recvfrom: received error: %d\n", pico_err); 82 ZF_LOGE("pico_socket_recvfrom: received empty message\n");
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_socket.c | 208 ret = pico_socket_recvfrom(NULL, (void *)buf, sizeof(buf), &orig, &porta); 210 ret = pico_socket_recvfrom(sk_tcp, NULL, sizeof(buf), &orig, &porta); 212 ret = pico_socket_recvfrom(sk_tcp, (void *)buf, 0, &orig, &porta); 214 ret = pico_socket_recvfrom(sk_tcp, (void *)buf, sizeof(buf), NULL, &porta); 216 ret = pico_socket_recvfrom(sk_tcp, (void *)buf, sizeof(buf), &orig, NULL); 219 ret = pico_socket_recvfrom(sk_tcp, (void *)buf, sizeof(buf), &orig, &porta); 289 ret = pico_socket_recvfrom(NULL, (void *)buf, sizeof(buf), &orig, &porta); 291 ret = pico_socket_recvfrom(sk_udp, NULL, sizeof(buf), &orig, &porta); 293 ret = pico_socket_recvfrom(sk_udp, (void *)buf, 0xFFFF + 1, &orig, &porta); 296 ret = pico_socket_recvfrom(sk_ud [all...] |
H A D | modunit_pico_sntp_client.c | 79 int pico_socket_recvfrom(struct pico_socket *s, void *buf, int len, void *orig, uint16_t *remote_port) function
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | udp_echo.c | 42 r = pico_socket_recvfrom(s, recvbuf, udpecho_pas->datasize, IPV6_MODE ? (void *)peer.ip6.addr : (void *)&peer.ip4.addr, &port);
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_socket.h | 189 int pico_socket_recvfrom(struct pico_socket *s, void *buf, int len, void *orig, uint16_t *local_port);
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
H A D | server.c | 545 ret = pico_socket_recvfrom(client_socket->socket, client_buf, len, src_addr, remote_port); 724 ret = pico_socket_recvfrom(client_socket->socket, msg->buf + msg->done_len, msg->total_len - msg->done_len, 801 ret = pico_socket_recvfrom(client_socket->socket, msg->buf, msg->total_len, &msg->src_addr, &msg->remote_port);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dhcp_server.c | 388 r = pico_socket_recvfrom(s, buf, DHCP_SERVER_MAXMSGSIZE, NULL, NULL);
|
H A D | pico_sntp_client.c | 176 read = pico_socket_recvfrom(s, recvbuf, PICO_SNTP_MAXBUF, &peer, &port);
|
H A D | pico_tftp.c | 905 r = pico_socket_recvfrom(s, session->tftp_block, PICO_TFTP_TOTAL_BLOCK_SIZE, &ep, &port); 915 r = pico_socket_recvfrom(s, server.tftp_block, PICO_TFTP_TOTAL_BLOCK_SIZE, &ep, &port);
|
H A D | pico_dhcp_client.c | 1002 r = pico_socket_recvfrom(s, buf, DHCP_CLIENT_MAXMSGZISE, NULL, NULL);
|
H A D | pico_mdns.c | 2890 while((pico_read = pico_socket_recvfrom(s, recvbuf, PICO_MDNS_MAXBUF,
|
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_socket.c | 1481 int MOCKABLE pico_socket_recvfrom(struct pico_socket *s, void *buf, int len, void *orig, function 1490 return pico_socket_recvfrom(s, buf, len, NULL, NULL);
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_sock.tex | 186 int pico_socket_recvfrom(struct pico_socket *s, void *buf, int len, 216 bytesRcvd = pico_socket_recvfrom(sk_tcp, buf, bufLen, &peer, &port);
|
Completed in 138 milliseconds