Searched refs:timer0_ticked (Results 1 – 1 of 1) sorted by relevance
91 static volatile int timer0_ticked; variable159 if (timer0_ticked) in tickle_tc()160 timer0_ticked = 0; in tickle_tc()330 (tm < timer0_lastcount || (!timer0_ticked && false/* XXX: clkintr_pending */))) { in iomd_timecounter0_get()331 timer0_ticked = 1; in iomd_timecounter0_get()