Searched refs:pico_socket_write (Results 1 - 10 of 10) sorted by relevance
| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | iperfc.c | 51 pico_socket_write(s, &hdr, sizeof(hdr));
74 pico_socket_write(s, buf, MTU);
|
| H A D | tcpclient.c | 79 w = pico_socket_write(s, buffer0 + w_size, TCPSIZ - w_size);
|
| H A D | tcpecho.c | 15 w = pico_socket_write(s, recvbuf + pos, len - pos);
|
| H A D | tcpbench.c | 118 tcpbench_w = pico_socket_write(tcpbench_sock, buffer0 + (tcpbench_wr_size % TCPSIZ), TCPSIZ - (tcpbench_wr_size % TCPSIZ));
123 /* printf("pico_socket_write returned %d\n", tcpbench_w); */
|
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | unit_socket.c | 148 ret = pico_socket_write(NULL, (void *)buf, sizeof(buf));
150 ret = pico_socket_write(sk_tcp, NULL, sizeof(buf));
152 ret = pico_socket_write(sk_tcp, (void *)buf, 0);
155 ret = pico_socket_write(sk_tcp, (void *)buf, sizeof(buf));
225 ret = pico_socket_write(NULL, (void *)buf, sizeof(buf));
227 ret = pico_socket_write(sk_udp, NULL, sizeof(buf));
229 ret = pico_socket_write(sk_udp, (void *)buf, 0);
232 ret = pico_socket_write(sk_udp, (void *)buf, sizeof(buf));
|
| H A D | unit_icmp4.c | 384 pico_socket_write(sock, "fooo", 4);
|
| /seL4-camkes-master/projects/picotcp/include/ |
| H A D | pico_socket.h | 183 int pico_socket_write(struct pico_socket *s, const void *buf, int len);
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | server.c | 437 ret = pico_socket_write(client_socket->socket, client_buf, len);
|
| /seL4-camkes-master/projects/picotcp/docs/user_manual/ |
| H A D | chap_api_sock.tex | 101 int pico_socket_write(struct pico_socket *s, void *buf, int len);
129 bytesWritten = pico_socket_write(sk_tcp, buffer, bufLength);
|
| /seL4-camkes-master/projects/picotcp/stack/ |
| H A D | pico_socket.c | 779 int pico_socket_write(struct pico_socket *s, const void *buf, int len) function
|
Completed in 118 milliseconds