Searched refs:psci_arch_setup (Results 1 – 4 of 4) sorted by relevance
220 psci_arch_setup(); in psci_setup()311 void psci_arch_setup(void) in psci_arch_setup() function
202 psci_arch_setup(); in psci_cpu_on_finish()
379 void psci_arch_setup(void);
246 The per-cpu cached ID registers are initialized in ``psci_arch_setup()``