ALPHA_IPI_HALT
[ilog2(ALPHA_IPI_HALT)] = alpha_ipi_halt,
[ilog2(ALPHA_IPI_HALT)] = "halt ipi",
alpha_broadcast_ipi(ALPHA_IPI_HALT);