Searched refs:psci_reboot (Results 1 – 1 of 1) sorted by relevance
494 psci_reboot(void *xsc, int howto) in psci_reboot() function513 psci_reboot(NULL, 0); in psci_reset()612 EVENTHANDLER_REGISTER(shutdown_final, psci_reboot, sc, in psci_v0_2_init()