Searched refs:psci_system_reset2 (Results 1 – 3 of 3) sorted by relevance
53 int psci_system_reset2(uint32_t reset_type, u_register_t cookie) in psci_system_reset2() function
419 return psci_system_reset2(x1, x2); in psci_smc_handler()462 return psci_system_reset2(x1, x2); in psci_smc_handler()
263 int psci_system_reset2(uint32_t reset_type, u_register_t cookie);