Searched refs:plat_fpga_gic_init (Results 1 – 3 of 3) sorted by relevance
23 void plat_fpga_gic_init(void);
37 void plat_fpga_gic_init(void) in plat_fpga_gic_init() function
102 plat_fpga_gic_init(); in bl31_platform_setup()