Symbol: psci_cpu_suspend
sys/arch/arm/acpi/cpu_acpi.c
305
psci_cpu_suspend(addr);
sys/arch/arm/arm/psci.h
135
int psci_cpu_suspend(uint32_t);