GIC_CPU_DEACTIVATE  238 drivers/irqchip/irq-gic.c 	writel_relaxed(gic_irq(d), gic_cpu_base(d) + GIC_CPU_DEACTIVATE);
GIC_CPU_DEACTIVATE  378 drivers/irqchip/irq-gic.c 				writel_relaxed(irqstat, cpu_base + GIC_CPU_DEACTIVATE);