Symbol: acpicpu_cstate_idle
sys/arch/x86/acpi/acpi_cpu_md.c
371
x86_cpu_idle_set(acpicpu_cstate_idle, "acpi", ipi);
sys/dev/acpi/acpi_cpu.h
238
void acpicpu_cstate_idle(void);