Searched refs:psci_system_reset (Results 1 – 3 of 3) sorted by relevance
34 void __dead2 psci_system_reset(void) in psci_system_reset() function
262 void __dead2 psci_system_reset(void);
398 psci_system_reset(); in psci_smc_handler()