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

/barrelfish-2018-10-04/kernel/include/
H A Dtimer.h31 void update_wakeup_timer(systime_t wakeup_timer);
/barrelfish-2018-10-04/kernel/
H A Dtimer.c49 void update_wakeup_timer(systime_t t) function
H A Dwakeup.c18 #include <timer.h> // update_wakeup_timer()
30 update_wakeup_timer(next_wakeup);

Completed in 88 milliseconds