Symbol: x86_cpu_idle_halt
sys/arch/x86/acpi/acpi_cpu_md.c
388
ipi = (native_idle != x86_cpu_idle_halt) ? false : true;
sys/arch/x86/include/cpuvar.h
118
void x86_cpu_idle_halt(void);
sys/arch/x86/x86/x86_machdep.c
555
x86_cpu_idle_set(x86_cpu_idle_halt, "halt", true);