Searched refs:psci_system_reset2 (Results 1 – 3 of 3) sorted by relevance
55 u_register_t psci_system_reset2(uint32_t reset_type, u_register_t cookie) in psci_system_reset2() function
475 ret = psci_system_reset2(r1, r2); in psci_smc_handler()534 ret = psci_system_reset2((uint32_t) x1, x2); in psci_smc_handler()
329 u_register_t psci_system_reset2(uint32_t reset_type, u_register_t cookie);