GICC_INT_PRI_THRESHOLD 548 drivers/irqchip/irq-gic.c writel_relaxed(GICC_INT_PRI_THRESHOLD, base + GIC_CPU_PRIMASK); GICC_INT_PRI_THRESHOLD 730 drivers/irqchip/irq-gic.c writel_relaxed(GICC_INT_PRI_THRESHOLD, cpu_base + GIC_CPU_PRIMASK);