Symbol: GIC_CDAFF_IAFFID_SHIFT
sys/arm64/arm64/gicv5reg.h
27
#define GIC_CDAFF_IAFFID_MASK (0xfffful << GIC_CDAFF_IAFFID_SHIFT)
sys/arm64/arm64/gicv5reg.h
29
((uint64_t)(x) << GIC_CDAFF_IAFFID_SHIFT)