Searched refs:fpga_gicv3_driver_data (Results 1 – 1 of 1) sorted by relevance
29 static gicv3_driver_data_t fpga_gicv3_driver_data = { variable50 &fpga_gicv3_driver_data.gicd_base, NULL); in plat_fpga_gic_init()57 &fpga_gicv3_driver_data.gicr_base, NULL); in plat_fpga_gic_init()63 gicv3_driver_init(&fpga_gicv3_driver_data); in plat_fpga_gic_init()83 return gicv3_rdistif_get_number_frames(fpga_gicv3_driver_data.gicr_base); in fpga_get_nr_gic_cores()
Completed in 3 milliseconds