Searched refs:ctx_lookup (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_6lowpan_ll.h45 struct iphc_ctx * ctx_lookup(struct pico_ip6 addr);
H A Dpico_6lowpan_ll.c96 struct iphc_ctx * ctx_lookup(struct pico_ip6 addr) function
H A Dpico_6lowpan.c460 } else if ((ctx = ctx_lookup(*addr))) {
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_6lowpan.c189 found = ctx_lookup(b);
1536 TCase *TCase_ctx_lookup = tcase_create("Unit test for ctx_lookup");

Completed in 100 milliseconds