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

/barrelfish-master/kernel/
H A Dtimer.c25 static systime_t next_wakeup_timer = TIMER_INF; //< timer for wakeups variable
32 systime_t timer = MIN(next_sched_timer, next_wakeup_timer);
51 next_wakeup_timer = t;

Completed in 95 milliseconds