Searched refs:psci_system_reset (Results 1 – 8 of 8) sorted by relevance
89 __weak void psci_system_reset(void) in psci_system_reset() function178 psci_system_reset(); in tee_psci_handler()
22 void __noreturn psci_system_reset(void) in psci_system_reset() function
75 void psci_system_reset(void) in psci_system_reset() function
48 void psci_system_reset(void) in psci_system_reset() function
69 void psci_system_reset(void);
238 void __noreturn psci_system_reset(void) in psci_system_reset() function
239 void __noreturn psci_system_reset(void) in psci_system_reset() function
334 void psci_system_reset(void) in psci_system_reset() function
Completed in 6 milliseconds