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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_mld.h107 uint8_t stopped; member in struct:mld_timer
H A Dpico_igmp.c122 uint8_t stopped; member in struct:igmp_timer
253 if (timer->stopped == IGMP_TIMER_STOPPED) {
348 timer->stopped = IGMP_TIMER_STOPPED;
406 ((struct igmp_timer *)index->keyValue)->stopped = IGMP_TIMER_STOPPED;
476 ((struct igmp_timer *)index->keyValue)->stopped = IGMP_TIMER_STOPPED;
H A Dpico_mld.c179 ((struct mld_timer *)index->keyValue)->stopped = MLD_TIMER_STOPPED;
245 if (timer->stopped == MLD_TIMER_STOPPED) {
360 timer->stopped = MLD_TIMER_STOPPED;
477 ((struct mld_timer *)index->keyValue)->stopped = MLD_TIMER_STOPPED;
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_igmp.c85 t->stopped = IGMP_TIMER_STOPPED;
95 s->stopped++;
H A Dmodunit_pico_mld.c177 t->stopped = MLD_TIMER_STOPPED;
187 s->stopped++;

Completed in 37 milliseconds