Symbol: psci_reset
sys/dev/fdt/psci.c
154
cpuresetfn = psci_reset;
sys/dev/fdt/psci.c
60
void psci_reset(void);