Searched refs:fvp_gic_driver_pre_init (Results 1 – 3 of 3) sorted by relevance
23 void fvp_gic_driver_pre_init(void);
59 void fvp_gic_driver_pre_init(void) in fvp_gic_driver_pre_init() function
153 fvp_gic_driver_pre_init(); in bl31_plat_arch_setup()