Searched refs:pico_socket_recv (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/projects/picotcp/test/examples/
H A Dudpnat.c45 r = pico_socket_recv(s, recvbuf, 1400);
H A Dudp_client.c97 r = pico_socket_recv(s, recvbuf, udpclient_pas->datasize);
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dutilization_socket.c82 ret = pico_socket_recv(s, utilz_mesg, 0x1000);
H A Dtcp_echo_socket.c140 ret = pico_socket_recv(s, data_packet[client_id], TCP_READ_SIZE);
143 ZF_LOGE("pico_socket_recv: error received: %d", pico_err);
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_socket.c181 ret = pico_socket_recv(NULL, (void *)buf, sizeof(buf));
183 ret = pico_socket_recv(sk_tcp, NULL, sizeof(buf));
185 ret = pico_socket_recv(sk_tcp, (void *)buf, 0);
188 ret = pico_socket_recv(sk_tcp, (void *)buf, sizeof(buf));
260 ret = pico_socket_recv(NULL, (void *)buf, sizeof(buf));
262 ret = pico_socket_recv(sk_udp, NULL, sizeof(buf));
264 ret = pico_socket_recv(sk_udp, (void *)buf, 0);
266 ret = pico_socket_recv(sk_udp, (void *)buf, 0xFFFF + 1);
269 ret = pico_socket_recv(sk_udp, (void *)buf, sizeof(buf));
/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h194 int pico_socket_recv(struct pico_socket *s, void *buf, int len);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/
H A Dserver.c523 ret = pico_socket_recv(client_socket->socket, client_buf, len);
727 ret = pico_socket_recv(client_socket->socket, msg->buf + msg->done_len, msg->total_len - msg->done_len);
803 ret = pico_socket_recv(client_socket->socket, msg->buf, msg->total_len);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_olsr.c1025 r = pico_socket_recv(s, recvbuf, DGRAM_MAX_SIZE);
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_sock.tex374 int pico_socket_recv(struct pico_socket *s, void *buf, int len);
397 bytesRcvd = pico_socket_recv(sk_tcp, buf, bufLen);
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1488 int pico_socket_recv(struct pico_socket *s, void *buf, int len) function

Completed in 117 milliseconds