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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_6lowpan_ll.c85 static int32_t compare_ctx(void *a, void *b) function
92 PICO_TREE_DECLARE(CTXtree, compare_ctx);
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_6lowpan.c156 ret = compare_ctx(&ca, &cb);
162 ret = compare_ctx(&ca, &cb);
168 ret = compare_ctx(&cb, &cc);
1535 TCase *TCase_compare_ctx = tcase_create("Unit test for compare_ctx");

Completed in 40 milliseconds