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
14 void gic_pcpu_init(unsigned int cpu_idx);
66 void gic_pcpu_init(unsigned int cpu_idx) in gic_pcpu_init() function
130 void gic_pcpu_init(unsigned int cpu_idx) in gic_pcpu_init() function
193 gic_pcpu_init(cpu_idx); in psci_cpu_on_finish()
159 gic_pcpu_init(core_pos); in bl31_main()
222 gic_pcpu_init(core_pos); in sp_min_platform_setup()