GICD_ICFGRnE      276 drivers/irqchip/irq-gic-v3.c 			return GICD_ICFGRnE;
GICD_ICFGRnE      741 drivers/irqchip/irq-gic-v3.c 		writel_relaxed(0, base + GICD_ICFGRnE + i / 4);