Barrelfish
|
Header for one-shot timer support. More...
Macros | |
#define | TIMER_INF ((systime_t)(-1)) |
Functions | |
void | arch_set_timer (systime_t t) |
void | update_wakeup_timer (systime_t wakeup_timer) |
update the wakeup timer More... | |
void | update_sched_timer (systime_t sched_timer) |
update the sched timer More... | |
Header for one-shot timer support.
#define TIMER_INF ((systime_t)(-1)) |
this value is used, when the scheduler or the wakeup subsystem do not want to be woken up in the foresable future.
void arch_set_timer | ( | systime_t | t | ) |
This needs to be defined by the architecture
void update_sched_timer | ( | systime_t | t | ) |
update the sched timer
t | absolute time in ms for the next interrupt |
void update_wakeup_timer | ( | systime_t | t | ) |
update the wakeup timer
t | absolute time in ms for the next interrupt |