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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_igmp.c1069 uint32_t time_to_run = 0; local
1077 time_to_run = (uint32_t)(t->start + t->delay - PICO_TIME_MS());
1078 if ((p->max_resp_time * 100u) < time_to_run) { /* max_resp_time in units of 1/10 seconds */

Completed in 32 milliseconds