Searched refs:call_psci_system_reset (Results 1 – 3 of 3) sorted by relevance
55 call_psci_system_reset(); in machine_restart()
54 void call_psci_system_reset(void) in call_psci_system_reset() function
23 void call_psci_system_reset(void);
Completed in 4 milliseconds