Searched refs:fpga_gicv3_driver_data (Results 1 – 1 of 1) sorted by relevance
32 static gicv3_driver_data_t fpga_gicv3_driver_data = { variable55 &fpga_gicv3_driver_data.gicd_base, NULL); in plat_fpga_gic_init()61 iidr = mmio_read_32(fpga_gicv3_driver_data.gicd_base + GICD_IIDR); in plat_fpga_gic_init()71 gicr_base = fpga_gicv3_driver_data.gicd_base + (4U << 16); in plat_fpga_gic_init()113 &fpga_gicv3_driver_data.gicr_base, in plat_fpga_gic_init()120 fpga_gicv3_driver_data.gicr_base = gicr_base; in plat_fpga_gic_init()123 gicv3_driver_init(&fpga_gicv3_driver_data); in plat_fpga_gic_init()143 return gicv3_rdistif_get_number_frames(fpga_gicv3_driver_data.gicr_base); in fpga_get_nr_gic_cores()148 uint64_t typer_val = mmio_read_64(fpga_gicv3_driver_data.gicr_base + in fpga_get_redist_size()156 return fpga_gicv3_driver_data.gicr_base; in fpga_get_redist_base()
Completed in 2 milliseconds