Searched refs:pico_socket_sendto_extended (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_aodv.c181 pico_socket_sendto_extended(aodv_socket, pkt, size, &all_bcast, short_be(PICO_AODV_PORT), info);
514 pico_socket_sendto_extended(aodv_socket, &rreq, sizeof(rreq), &all_bcast, short_be(PICO_AODV_PORT), &info);
561 pico_socket_sendto_extended(aodv_socket, &rreq, sizeof(rreq), &all_bcast, short_be(PICO_AODV_PORT), &info);
/seL4-camkes-master/projects/picotcp/include/
H A Dpico_socket.h186 int pico_socket_sendto_extended(struct pico_socket *s, const void *buf, const int len,
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_aodv.c223 int pico_socket_sendto_extended(struct pico_socket *s, const void *buf, const int len, function
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1368 int MOCKABLE pico_socket_sendto_extended(struct pico_socket *s, const void *buf, const int len, function
1407 return pico_socket_sendto_extended(s, buf, len, dst, remote_port, NULL);
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_sock.tex243 int pico_socket_sendto_extended(struct pico_socket *s, const void *buf, int len,
275 bytesWritten = pico_socket_sendto_extended(sk_tcp, buf, len, &sk_tcp->remote_addr,

Completed in 76 milliseconds