Symbol: x86_ipi_halt
sys/arch/x86/x86/ipi.c
63
static void x86_ipi_halt(struct cpu_info *);
sys/arch/x86/x86/ipi.c
84
x86_ipi_halt, /* X86_IPI_HALT */