Searched refs:psci_arch_setup (Results 1 – 3 of 3) sorted by relevance
209 psci_arch_setup(); in psci_setup()284 void psci_arch_setup(void) in psci_arch_setup() function
199 psci_arch_setup(); in psci_cpu_on_finish()
351 void psci_arch_setup(void);