Symbol: cpu_acpi_lpi_idle
sys/arch/arm/acpi/cpu_acpi.c
292
arm_cpu_idle = cpu_acpi_lpi_idle;
sys/arch/arm/acpi/cpu_acpi.c
70
void cpu_acpi_lpi_idle(void);