Symbol: cpu_idle_halt
sys/dev/acpica/acpi_cpu_cstate.c
1280
cpu_idle_halt();
sys/sys/systm.h
177
void cpu_idle_halt (void);