Searched refs:twd_int (Results 1 – 1 of 1) sorted by relevance
197 u32 twd_int = readl_relaxed(twd_base + TWD_TIMER_INTSTAT); in gic_timer_retrigger() local201 if (twd_int && !(gic_int & BIT(IRQ_LOCALTIMER))) { in gic_timer_retrigger()