Searched refs:do_psci_0_2_system_reset (Results 1 – 3 of 3) sorted by relevance
44 void do_psci_0_2_system_reset(void);
197 void do_psci_0_2_system_reset(void) in do_psci_0_2_system_reset() function
173 do_psci_0_2_system_reset(); in handle_sssc()
Completed in 3 milliseconds