Symbol: ICC_HPPIR_ID_SHIFT
sys/arm64/arm64/gicv5.c
899
irq = (hppi & ICC_HPPIR_ID_MASK) >> ICC_HPPIR_ID_SHIFT;
sys/arm64/arm64/gicv5reg.h
292
#define ICC_HPPIR_ID_MASK (0xfffffful << ICC_HPPIR_ID_SHIFT)