Searched refs:psci_system_reset (Results 1 – 3 of 3) sorted by relevance
42 void __dead2 psci_system_reset(void) in psci_system_reset() function
356 void __dead2 psci_system_reset(void);
517 psci_system_reset(); in psci_smc_handler()