GIC_DIST_PRI      116 drivers/irqchip/irq-gic-common.c 		writel_relaxed(GICD_INT_DEF_PRI_X4, base + GIC_DIST_PRI + i);
GIC_DIST_PRI      153 drivers/irqchip/irq-gic-common.c 					base + GIC_DIST_PRI + i * 4 / 4);
GIC_DIST_PRI      639 drivers/irqchip/irq-gic.c 			dist_base + GIC_DIST_PRI + i * 4);
GIC_DIST_PRI      728 drivers/irqchip/irq-gic.c 					dist_base + GIC_DIST_PRI + i * 4);
GIC_DIST_PRI      431 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_PRI,