Searched defs:psci_system_reset2 (Results 1 – 2 of 2) sorted by relevance
55 u_register_t psci_system_reset2(uint32_t reset_type, u_register_t cookie) in psci_system_reset2() function
404 static int psci_system_reset2(int is_vendor, in psci_system_reset2() function
Completed in 3 milliseconds