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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_igmp.c352 static int pico_igmp_timer_is_running(struct igmp_timer *t) function
458 if (pico_igmp_timer_is_running(&t)) { /* IGMPv2 querier present timer still running */

Completed in 31 milliseconds