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

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_6lowpan_ll.c159 static void ctx_lifetime_check(pico_time now, void *arg) function
186 (void)pico_timer_add(ONE_MINUTE, ctx_lifetime_check, NULL);
443 (void)pico_timer_add(60000, ctx_lifetime_check, NULL);

Completed in 70 milliseconds