Searched refs:TWD_TIMER_COUNTER (Results 1 – 3 of 3) sorted by relevance
73 writel_relaxed(evt, twd_base + TWD_TIMER_COUNTER); in twd_set_next_event()219 writel_relaxed(0xFFFFFFFFU, twd_base + TWD_TIMER_COUNTER); in twd_calibrate_rate()224 count = readl_relaxed(twd_base + TWD_TIMER_COUNTER); in twd_calibrate_rate()
6 #define TWD_TIMER_COUNTER 0x04 macro
206 writel_relaxed(1, twd_base + TWD_TIMER_COUNTER); in gic_timer_retrigger()
