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
198 psci_arch_setup(); in psci_cpu_on_finish()
387 void psci_arch_setup(void);
246 The per-cpu cached ID registers are initialized in ``psci_arch_setup()``