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

/seL4-camkes-master/kernel/include/drivers/timer/
H A Darm_priv.h9 #define TMR_INTS_EVENT BIT(0) macro
23 priv_timer->ints = TMR_INTS_EVENT;

Completed in 84 milliseconds