Barrelfish
|
Timer support for ARMv8. More...
Functions | |
void | timers_init (int timeslice) |
initialize the timers | |
void | timer_reset (uint64_t ms) |
resets the timer to fire in $ms milliseconds More... | |
systime_t | systime_now (void) |
Timer support for ARMv8.
systime_t systime_now | ( | void | ) |
Get the current system time from a hardware clock
void timer_reset | ( | uint64_t | ms | ) |
resets the timer to fire in $ms milliseconds
ms |