Searched refs:psci_set_pwr_domains_to_run (Results 1 – 4 of 4) sorted by relevance
282 psci_set_pwr_domains_to_run(idx, end_pwrlvl); in psci_cpu_suspend_start()
244 psci_set_pwr_domains_to_run(cpu_idx, PLAT_MAX_PWR_LVL); in psci_setup()
322 void psci_set_pwr_domains_to_run(unsigned int cpu_idx, unsigned int end_pwrlvl);
530 void psci_set_pwr_domains_to_run(unsigned int cpu_idx, unsigned int end_pwrlvl) in psci_set_pwr_domains_to_run() function1085 psci_set_pwr_domains_to_run(cpu_idx, end_pwrlvl); in psci_warmboot_entrypoint()