Symbol: GIC_CDAFF_ID_SHIFT
sys/arm64/arm64/gicv5reg.h
39
#define GIC_CDAFF_ID_MASK (0xfffffful << GIC_CDAFF_ID_SHIFT)
sys/arm64/arm64/gicv5reg.h
40
#define GIC_CDAFF_ID(x) ((uint64_t)(x) << GIC_CDAFF_ID_SHIFT)