Symbol: LPI_REG_ADDR_WFI
sys/arch/arm/acpi/cpu_acpi.c
302
if (addr == LPI_REG_ADDR_WFI) {
sys/arch/arm/acpi/cpu_acpi.c
329
cpu_acpi_idle(LPI_REG_ADDR_WFI);