Searched refs:pico_socket_read (Results 1 - 9 of 9) sorted by relevance
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | unit_socket.c | 158 ret = pico_socket_read(NULL, (void *)buf, sizeof(buf));
160 ret = pico_socket_read(sk_tcp, NULL, sizeof(buf));
162 ret = pico_socket_read(sk_tcp, (void *)buf, 0);
165 ret = pico_socket_read(sk_tcp, (void *)buf, sizeof(buf));
235 ret = pico_socket_read(NULL, (void *)buf, sizeof(buf));
237 ret = pico_socket_read(sk_udp, NULL, sizeof(buf));
239 ret = pico_socket_read(sk_udp, (void *)buf, 0);
241 ret = pico_socket_read(sk_udp, (void *)buf, 0xFFFF + 1);
244 ret = pico_socket_read(sk_udp, (void *)buf, sizeof(buf));
|
| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | tcpclient.c | 42 r = pico_socket_read(s, buffer1 + r_size, TCPSIZ - r_size);
|
| H A D | tcpecho.c | 41 r = pico_socket_read(s, recvbuf + len, BSIZE - len);
|
| H A D | tcpbench.c | 36 tcpbench_r = pico_socket_read(s, recvbuf, 1500);
|
| /seL4-camkes-master/projects/picotcp/include/ |
| H A D | pico_socket.h | 182 int pico_socket_read(struct pico_socket *s, void *buf, int len);
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dns_client.c | 565 if (pico_socket_read(s, dns_response, PICO_IP_MRU) < 0)
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | server.c | 502 ret = pico_socket_read(client_socket->socket, client_buf, len);
|
| /seL4-camkes-master/projects/picotcp/docs/user_manual/ |
| H A D | chap_api_sock.tex | 64 int pico_socket_read(struct pico_socket *s, void *buf, int len);
87 bytesRead = pico_socket_read(sk_tcp, buffer, bufferLength);
|
| /seL4-camkes-master/projects/picotcp/stack/ |
| H A D | pico_socket.c | 728 int pico_socket_read(struct pico_socket *s, void *buf, int len) function
|
Completed in 111 milliseconds