|
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 |
1.8.11