Lines Matching refs:gicr_base
43 uintptr_t gicr_base = 0U; in plat_fpga_gic_init() local
71 gicr_base = fpga_gicv3_driver_data.gicd_base + (4U << 16); in plat_fpga_gic_init()
77 frame_id = gicv3_get_component_partnum(gicr_base); in plat_fpga_gic_init()
81 nr_itses, (unsigned long long)gicr_base); in plat_fpga_gic_init()
88 gicr_base = 0U; in plat_fpga_gic_init()
97 its_typer = mmio_read_64(gicr_base + GITS_TYPER); in plat_fpga_gic_init()
99 gicr_base += 4U << 16; in plat_fpga_gic_init()
101 gicr_base += 2U << 16; in plat_fpga_gic_init()
111 if (gicr_base == 0U) { 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()
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()