Searched refs:aodv_socket (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_aodv.c64 static struct pico_socket *aodv_socket = NULL; variable in typeref:struct:pico_socket
181 pico_socket_sendto_extended(aodv_socket, pkt, size, &all_bcast, short_be(PICO_AODV_PORT), info);
230 pico_socket_sendto(aodv_socket, &reply, sizeof(reply), &dest, short_be(PICO_AODV_PORT));
235 pico_socket_sendto(aodv_socket, &reply, sizeof(reply), &dest, short_be(PICO_AODV_PORT));
435 if (s != aodv_socket)
514 pico_socket_sendto_extended(aodv_socket, &rreq, sizeof(rreq), &all_bcast, short_be(PICO_AODV_PORT), &info);
545 if (!aodv_socket) {
561 pico_socket_sendto_extended(aodv_socket, &rreq, sizeof(rreq), &all_bcast, short_be(PICO_AODV_PORT), &info);
609 if (aodv_socket) {
614 aodv_socket
[all...]
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_aodv.c202 fail_if (s != aodv_socket);
306 aodv_socket = NULL;
320 fail_if(aodv_send_req(&node) != -1); /* Should fail: aodv_socket == NULL */
327 aodv_socket = (struct pico_socket*) 1;

Completed in 73 milliseconds