Searched refs:plat_gic_init (Results 1 – 6 of 6) sorted by relevance
21 void plat_gic_init(void);
73 void plat_gic_init(void) in plat_gic_init() function
168 plat_gic_init(); in bl31_platform_setup()
190 plat_gic_init(); in bl31_platform_setup()
327 plat_gic_init(); in bl31_platform_setup()
375 plat_gic_init(); in bl31_platform_setup()