Symbol: PSCI_FNID_SYSTEM_RESET
sys/dev/psci/psci.c
595
sc->psci_fnids[PSCI_FN_SYSTEM_RESET] = PSCI_FNID_SYSTEM_RESET;
usr.sbin/bhyve/aarch64/vmexit.c
251
case PSCI_FNID_SYSTEM_RESET: