Searched refs:priv_timer (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/drivers/timer/
H A Dpriv_timer.c12 timer_t *const priv_timer = (timer_t *) ARM_MP_PRIV_TIMER_PPTR; variable
28 priv_timer->ctrl = 0;
29 priv_timer->ints = 0;
32 priv_timer->load = TMR_LOAD;
33 priv_timer->ctrl |= ((PRESCALE) << (TMR_CTRL_PRESCALE))
37 priv_timer->ctrl |= TMR_CTRL_ENABLE;
/seL4-l4v-master/seL4/include/drivers/timer/
H A Darm_priv.h19 extern timer_t *const priv_timer;
23 priv_timer->ints = TMR_INTS_EVENT;
/seL4-l4v-master/l4v/spec/haskell/include/
H A Dmptimer.h14 } priv_timer; typedef in typeref:struct:mp_priv_timer

Completed in 39 milliseconds