Symbol: psci_poweroff
sys/arch/arm/arm/psci.h
160
void psci_poweroff(void);
sys/arch/arm/fdt/acpi_fdt.c
133
psci_poweroff();
sys/arch/arm/fdt/psci_fdt.c
72
psci_poweroff();