Searched refs:gic_pcpu_init (Results 1 – 7 of 7) sorted by relevance
18 void gic_pcpu_init(unsigned int cpu_idx) in gic_pcpu_init() function
19 void gic_pcpu_init(unsigned int cpu_idx);
66 void gic_pcpu_init(unsigned int cpu_idx) in gic_pcpu_init() function
131 void gic_pcpu_init(unsigned int cpu_idx) in gic_pcpu_init() function
183 gic_pcpu_init(cpu_idx); in psci_cpu_on_finish()
153 gic_pcpu_init(core_pos); in bl31_main()
215 gic_pcpu_init(core_pos); in sp_min_platform_setup()