Symbol: APL_IPI_SR_EL1_PENDING
sys/arch/arm64/dev/aplintc.c
414
if (reg & APL_IPI_SR_EL1_PENDING) {
sys/arch/arm64/dev/aplintc.c
415
WRITE_SPECIALREG(APL_IPI_SR_EL1, APL_IPI_SR_EL1_PENDING);