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