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);