Searched defs:psci_system_reset2 (Results 1 – 4 of 4) 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