Barrelfish
|
Platform code for the Cortex-A15 MPCore. More...
Macros | |
#define | DEFAULT_TIMER_IRQ 29 |
For now, use secure timer. | |
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-A15 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