Searched refs:TWD_TIMER_COUNTER (Results 1 – 2 of 2) sorted by relevance
6 #define TWD_TIMER_COUNTER 0x04 macro
205 writel_relaxed(1, twd_base + TWD_TIMER_COUNTER); in gic_timer_retrigger()