Symbol: cpu_idle_acpi
sys/x86/x86/cpu_machdep.c
768
void (*cpu_idle_fn)(sbintime_t) = cpu_idle_acpi;
sys/x86/x86/cpu_machdep.c
851
{ .id_fn = cpu_idle_acpi, .id_name = "acpi" },