Barrelfish
Macros | Functions
plat_a15mpcore.c File Reference

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)
 

Detailed Description

Platform code for the Cortex-A15 MPCore.

Function Documentation

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