Symbol: ipi_halt