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

/seL4-camkes-master/kernel/include/drivers/timer/
H A Darm_priv.h16 uint32_t ints; member in struct:timer
23 priv_timer->ints = TMR_INTS_EVENT;
/seL4-camkes-master/kernel/src/drivers/timer/
H A Dpriv_timer.c29 priv_timer->ints = 0;

Completed in 98 milliseconds