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 Dudp_echo_socket.c76 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 Dunit_socket.c208 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 Dmodunit_pico_sntp_client.c79 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 Dudp_echo.c42 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 Dpico_socket.h189 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 Dserver.c545 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 Dpico_dhcp_server.c388 r = pico_socket_recvfrom(s, buf, DHCP_SERVER_MAXMSGSIZE, NULL, NULL);
H A Dpico_sntp_client.c176 read = pico_socket_recvfrom(s, recvbuf, PICO_SNTP_MAXBUF, &peer, &port);
H A Dpico_tftp.c905 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 Dpico_dhcp_client.c1002 r = pico_socket_recvfrom(s, buf, DHCP_CLIENT_MAXMSGZISE, NULL, NULL);
H A Dpico_mdns.c2890 while((pico_read = pico_socket_recvfrom(s, recvbuf, PICO_MDNS_MAXBUF,
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1481 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 Dchap_api_sock.tex186 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