Symbol: IRS_IDR2_ID_BITS_SHIFT
sys/arm64/arm64/gicv5reg.h
545
#define IRS_IDR2_ID_BITS_MASK (0x1ful << IRS_IDR2_ID_BITS_SHIFT)
sys/arm64/arm64/gicv5reg.h
547
(((x) & IRS_IDR2_ID_BITS_MASK) >> IRS_IDR2_ID_BITS_SHIFT)