Searched refs:TIMER_CTL_RELOAD_FLAG (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/plat/allwinnerA20/machine/ | ||
H A D | hardware.c | 26 #define TIMER_CTL_RELOAD_FLAG BIT(1) macro 43 timer->tmr0_ctrl_reg = TIMER_CTL_EN_FLAG | TIMER_CTL_RELOAD_FLAG; |
Completed in 78 milliseconds