Symbol: psci_reboot
sys/dev/psci/psci.c
529
psci_reboot(NULL, 0);
sys/dev/psci/psci.c
628
EVENTHANDLER_REGISTER(shutdown_final, psci_reboot, sc,