Symbol: ALPHA_IPI_HALT