GICD_DISABLE 498 drivers/irqchip/irq-gic.c writel_relaxed(GICD_DISABLE, base + GIC_DIST_CTRL); GICD_DISABLE 631 drivers/irqchip/irq-gic.c writel_relaxed(GICD_DISABLE, dist_base + GIC_DIST_CTRL);