Symbol: alpha_ipi_halt