Barrelfish
|
Platform code for the Cortex-A9 MPCore. More...
Functions | |
void | timers_init (int timeslice) |
initialize the timers | |
systime_t | systime_now (void) |
void | systime_set_timeout (systime_t timeout) |
Platform code for the Cortex-A9 MPCore.
systime_t systime_now | ( | void | ) |
Get the current system time from a hardware clock
void systime_set_timeout | ( | systime_t | timeout | ) |
Set a point at which a timer interrupt should occur if it's in a past, trigger immediately