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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_aodv.c36 static uint32_t pico_aodv_local_id = 0; variable
229 reply.dseq = long_be(++pico_aodv_local_id);
463 req->rreq_id = long_be(++pico_aodv_local_id);
465 req->oseq = long_be(pico_aodv_local_id);
626 pico_aodv_local_id = pico_rand();
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_aodv.c254 expected_dseq = long_be(pico_aodv_local_id + 1);
389 expected_dseq = long_be(pico_aodv_local_id + 1);

Completed in 79 milliseconds