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

/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dutilization_socket.c78 pico_socket_send(util, WHOAMI, strlen(WHOAMI));
89 pico_socket_send(s, OK_READY, strlen(OK_READY));
91 pico_socket_send(s, OK, strlen(OK));
93 pico_socket_send(s, OK, strlen(OK));
109 pico_socket_send(s, response, len);
H A Dtcp_echo_socket.c109 int inner_ret = pico_socket_send(s, data_packet[client_id] + sent_payload[client_id], remaining_payload[client_id]);
112 ZF_LOGE("pico_socket_send: error received: %d", pico_err);
151 int inner_ret = pico_socket_send(s, data_packet[client_id] + done, ret);
154 ZF_LOGE("pico_socket_send: error received: %d", pico_err);
/seL4-camkes-master/projects/picotcp/test/examples/
H A Dudpnat.c19 w = pico_socket_send(s, buf, 1400);
24 w = pico_socket_send(s, end, 4);
H A Dudp_client.c29 pico_socket_send(s, end, 4);
69 w = pico_socket_send(s, buf, udpclient_pas->datasize);
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dunit_socket.c171 ret = pico_socket_send(NULL, (void *)buf, sizeof(buf));
173 ret = pico_socket_send(sk_tcp, NULL, sizeof(buf));
175 ret = pico_socket_send(sk_tcp, (void *)buf, 0);
178 ret = pico_socket_send(sk_tcp, (void *)buf, sizeof(buf));
250 ret = pico_socket_send(NULL, (void *)buf, sizeof(buf));
252 ret = pico_socket_send(sk_udp, NULL, sizeof(buf));
254 ret = pico_socket_send(sk_udp, (void *)buf, 0);
257 ret = pico_socket_send(sk_udp, (void *)buf, sizeof(buf));
/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h193 int pico_socket_send(struct pico_socket *s, const void *buf, int len);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/
H A Dserver.c458 ret = pico_socket_send(client_socket->socket, client_buf, len);
596 ret = pico_socket_send(client_socket->socket, msg->buf + msg->done_len, msg->total_len - msg->done_len);
671 ret = pico_socket_send(client_socket->socket, msg->buf, msg->total_len);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dns_client.c379 pico_socket_send(q->s, q->query, q->len);
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_sock.tex336 int pico_socket_send(struct pico_socket *s, const void *buf, int len);
363 bytesRcvd = pico_socket_send(sk_tcp, buf, bufLen);
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c898 /* When coming from pico_socket_send (or _write),
1410 int pico_socket_send(struct pico_socket *s, const void *buf, int len) function

Completed in 117 milliseconds