Symbol: acpicpu_idle
sys/dev/acpi/acpicpu_x86.c
173
void acpicpu_idle(void);
sys/dev/acpi/acpicpu_x86.c
760
cpu_idle_cycle_fcn = &acpicpu_idle;