Searched refs:plat_fpga_gic_init (Results 1 – 3 of 3) sorted by relevance
23 void plat_fpga_gic_init(void);
40 void plat_fpga_gic_init(void) in plat_fpga_gic_init() function
104 plat_fpga_gic_init(); in bl31_platform_setup()
Completed in 3 milliseconds