Symbol: psci_cpu_off
sys/arch/arm/arm/psci.c
185
psci_cpu_off();
sys/arch/arm/arm/psci.h
122
int psci_cpu_off(void);