Symbol: GIC_CDPRI_ID_SHIFT
sys/arm64/arm64/gicv5reg.h
171
#define GIC_CDPRI_ID_MASK (0xfffffful << GIC_CDPRI_ID_SHIFT)
sys/arm64/arm64/gicv5reg.h
172
#define GIC_CDPRI_ID(x) ((uint64_t)(x) << GIC_CDPRI_ID_SHIFT)