GIC_CPU_ACTIVEPRIO  479 drivers/irqchip/irq-gic.c 			writel_relaxed(0, cpu_base + GIC_CPU_ACTIVEPRIO + i * 4);
GIC_CPU_ACTIVEPRIO  464 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_LENGTH(GIC_CPU_ACTIVEPRIO,