Searched refs:plat_gic_setup (Results 1 – 5 of 5) sorted by relevance
83 void plat_gic_setup(void);
262 void plat_gic_setup(void) in plat_gic_setup() function
224 plat_gic_setup(); in bl31_platform_setup()
247 void plat_gic_setup(void) in plat_gic_setup() function
356 void plat_gic_setup(void) in plat_gic_setup() function