Searched refs:psci_arch_setup (Results 1 – 3 of 3) sorted by relevance
193 psci_arch_setup(); in psci_setup()267 void psci_arch_setup(void) in psci_arch_setup() function
170 psci_arch_setup(); in psci_cpu_on_finish()
332 void psci_arch_setup(void);