Searched refs:psci_system_reset (Results 1 – 3 of 3) sorted by relevance
36 void __dead2 psci_system_reset(void) in psci_system_reset() function
328 void __dead2 psci_system_reset(void);
448 psci_system_reset(); in psci_smc_handler()