Symbol: psci_system_off
sys/arch/arm/arm/psci.c
220
psci_system_off();
sys/arch/arm/arm/psci.h
140
void psci_system_off(void);