GICD_ICACTIVERnE  272 drivers/irqchip/irq-gic-v3.c 			return GICD_ICACTIVERnE;
GICD_ICACTIVERnE  734 drivers/irqchip/irq-gic-v3.c 		writel_relaxed(~0U, base + GICD_ICACTIVERnE + i / 8);