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

/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_igmp.c69 fail_if(igmp_timer_cmp(&b, &a) != 1);
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_igmp.c168 static int igmp_timer_cmp(void *ka, void *kb) function
182 static PICO_TREE_DECLARE(IGMPTimers, igmp_timer_cmp);

Completed in 175 milliseconds