Symbol: AIC_IPI_SR_EL1
sys/arm64/apple/apple_aic.c
610
if ((READ_SPECIALREG(AIC_IPI_SR_EL1) & AIC_IPI_SR_EL1_PENDING) != 0) {
sys/arm64/apple/apple_aic.c
611
WRITE_SPECIALREG(AIC_IPI_SR_EL1, AIC_IPI_SR_EL1_PENDING);