Symbol: cpu_acpi_idle
sys/arch/arm/acpi/cpu_acpi.c
322
cpu_acpi_idle(ci->ci_lpi[n].reg_addr);
sys/arch/arm/acpi/cpu_acpi.c
329
cpu_acpi_idle(LPI_REG_ADDR_WFI);