Searched refs:psci_reboot (Results 1 - 1 of 1) sorted by relevance
/freebsd-current/sys/dev/psci/ | ||
H A D | psci.c | 488 psci_reboot(void *xsc, int howto) function 507 psci_reboot(NULL, 0); 606 EVENTHANDLER_REGISTER(shutdown_final, psci_reboot, sc, |
Completed in 87 milliseconds