Symbol: acpi_cpu_idle
sys/dev/acpica/acpi_cpu.c
1013
cpu_idle_hook = acpi_cpu_idle;
sys/dev/acpica/acpi_cpu.c
182
static void acpi_cpu_idle(sbintime_t sbt);