Symbol: alpha_ipi_halt
sys/arch/alpha/alpha/ipifuncs.c
54
void alpha_ipi_halt(struct cpu_info *, struct trapframe *);
sys/arch/alpha/alpha/ipifuncs.c
66
alpha_ipi_halt,