Symbol: x86_64_ipi_halt
sys/arch/amd64/amd64/ipifuncs.c
62
void x86_64_ipi_halt(struct cpu_info *);
sys/arch/amd64/amd64/ipifuncs.c
88
x86_64_ipi_halt,