alpha_ipi_halt
static void alpha_ipi_halt(struct cpu_info *, struct trapframe *);
[ilog2(ALPHA_IPI_HALT)] = alpha_ipi_halt,