Searched refs:fvp_gic_driver_pre_init (Results 1 – 4 of 4) sorted by relevance
23 void fvp_gic_driver_pre_init(void);
36 void fvp_gic_driver_pre_init(void) in fvp_gic_driver_pre_init() function
66 void fvp_gic_driver_pre_init(void) in fvp_gic_driver_pre_init() function
100 fvp_gic_driver_pre_init(); in bl31_platform_setup()