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