GIC_CPU_ACTIVEPRIO - Linux

Symbol: GIC_CPU_ACTIVEPRIO

arch/arm64/kvm/vgic/vgic-mmio-v2.c

REGISTER_DESC_WITH_LENGTH(GIC_CPU_ACTIVEPRIO,

drivers/irqchip/irq-gic.c

writel_relaxed(0, cpu_base + GIC_CPU_ACTIVEPRIO + i * 4);