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