Symbol: psci_reset
sys/arm64/arm64/vm_machdep.c
62
cpu_reset_hook_t cpu_reset_hook = psci_reset;
sys/dev/psci/psci.h
43
void psci_reset(void);