GIC_CDPRI_PRORITY_SHIFT
#define GIC_CDPRI_PRORITY_MASK (0x1ful << GIC_CDPRI_PRORITY_SHIFT)
((uint64_t)(x) << GIC_CDPRI_PRORITY_SHIFT)