GIC_PRIO_SHIFT_S
sc->sc_priority_shift = GIC_PRIO_SHIFT_S;
sc->sc_priority_shift = dist_ns ? GIC_PRIO_SHIFT_NS : GIC_PRIO_SHIFT_S;
sc->sc_pmr_shift = cpuif_ns ? GIC_PRIO_SHIFT_NS : GIC_PRIO_SHIFT_S;