Symbol: psci_system_reset
sys/arch/arm/acpi/acpi_platform.c
406
psci_system_reset();
sys/arch/arm/arm/psci.h
145
void psci_system_reset(void);
sys/arch/arm/fdt/psci_fdt.c
164
psci_system_reset();
sys/arch/arm/fdt/psci_fdt.c
65
psci_system_reset();