Symbol: IRS_IDR2
sys/arm64/arm64/gicv5.c
484
idr2 = IRS_CFG_READ_4(irs, IRS_IDR2);
sys/arm64/arm64/gicv5.c
814
(IRS_CFG_READ_4(di->di_irs, IRS_IDR2) & IRS_IDR2_LPI) != 0;