Symbol: APL_IPI_SR_EL1
sys/arch/arm64/dev/aplintc.c
413
reg = READ_SPECIALREG(APL_IPI_SR_EL1);
sys/arch/arm64/dev/aplintc.c
415
WRITE_SPECIALREG(APL_IPI_SR_EL1, APL_IPI_SR_EL1_PENDING);