Searched refs:gic_int (Results 1 – 1 of 1) sorted by relevance
194 u32 gic_int = readl_relaxed(gic_dist_base_addr + GIC_DIST_PENDING_SET); in gic_timer_retrigger() local197 if (twd_int && !(gic_int & BIT(IRQ_LOCALTIMER))) { in gic_timer_retrigger()