Lines Matching defs:gicr_base

43 	uintptr_t gicr_base = 0U;
71 		gicr_base = fpga_gicv3_driver_data.gicd_base + (4U << 16);
77 			frame_id = gicv3_get_component_partnum(gicr_base);
81 				     nr_itses, (unsigned long long)gicr_base);
88 				gicr_base = 0U;
97 			its_typer = mmio_read_64(gicr_base + GITS_TYPER);
99 				gicr_base += 4U << 16;
101 				gicr_base += 2U << 16;
111 	if (gicr_base == 0U) {
113 					&fpga_gicv3_driver_data.gicr_base,
120 		fpga_gicv3_driver_data.gicr_base = gicr_base;
143 	return gicv3_rdistif_get_number_frames(fpga_gicv3_driver_data.gicr_base);
148 	uint64_t typer_val = mmio_read_64(fpga_gicv3_driver_data.gicr_base +
156 	return fpga_gicv3_driver_data.gicr_base;