Symbol: GIC_CDDI_ID_SHIFT
sys/arm64/arm64/gicv5.c
859
cddi |= (uint64_t)irq << GIC_CDDI_ID_SHIFT;
sys/arm64/arm64/gicv5reg.h
58
#define GIC_CDDI_ID_MASK (0xfffffful << GIC_CDDI_ID_SHIFT)