Searched refs:psci_system_reset2 (Results 1 – 3 of 3) sorted by relevance
109 __weak int psci_system_reset2(uint32_t reset_type __unused, in psci_system_reset2() function186 args->a0 = psci_system_reset2(a1, a2); in tee_psci_handler()
71 int psci_system_reset2(uint32_t reset_type, uint32_t cookie);
244 int __noreturn psci_system_reset2(uint32_t reset_type __unused, in psci_system_reset2() function
Completed in 3 milliseconds