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

/seL4-camkes-master/kernel/src/drivers/timer/
H A Dpriv_timer.c12 timer_t *const priv_timer = (timer_t *) ARM_MP_PRIV_TIMER_PPTR; variable

Completed in 79 milliseconds