140 	vaddr_t gicr_base[CFG_TEE_CORE_NB_CORE];  member
178 	return gd->gicr_base[get_core_pos()];  in get_gicr_base()
233 static void gicr_wait_for_pending_write(vaddr_t gicr_base)  in gicr_wait_for_pending_write()  argument
243 	while (io_read32(gicr_base + GICR_CTLR) & GICR_CTLR_RWP)  in gicr_wait_for_pending_write()
249 	vaddr_t gicr_base = get_gicr_base(gd);  in gicv3_sync_redist_config()  local
259 	if (!gicr_base)  in gicv3_sync_redist_config()
262 	grp0 = io_read32(gicr_base + GICR_IGROUPR0);  in gicv3_sync_redist_config()
263 	gmod0 = io_read32(gicr_base + GICR_IGRPMODR0);  in gicv3_sync_redist_config()
276 		io_write32(gicr_base + GICR_ICENABLER0, BIT32(n));  in gicv3_sync_redist_config()
279 		gicr_wait_for_pending_write(gicr_base);  in gicv3_sync_redist_config()
282 		io_write32(gicr_base + GICR_ICPENDR0, BIT32(n));  in gicv3_sync_redist_config()
295 		io_write32(gicr_base + GICR_IGROUPR0, grp0);  in gicv3_sync_redist_config()
296 		io_write32(gicr_base + GICR_IGRPMODR0, gmod0);  in gicv3_sync_redist_config()
297 		io_write32(gicr_base + GICR_ISENABLER0, gd->per_cpu_enable);  in gicv3_sync_redist_config()
400 		vaddr_t gicr_base = get_gicr_base(gd);  in gic_init_donate_sgi_to_ns()  local
402 		if (!gicr_base)  in gic_init_donate_sgi_to_ns()
406 		io_write32(gicr_base + GICR_ICENABLER0, BIT32(it));  in gic_init_donate_sgi_to_ns()
409 		gicr_wait_for_pending_write(gicr_base);  in gic_init_donate_sgi_to_ns()
412 		io_write32(gicr_base + GICR_ICPENDR0, BIT32(it));  in gic_init_donate_sgi_to_ns()
415 		io_write32(gicr_base + GICR_IGROUPR0, gd->per_cpu_group_status);  in gic_init_donate_sgi_to_ns()
416 		io_write32(gicr_base + GICR_IGRPMODR0,  in gic_init_donate_sgi_to_ns()
556 		probe_redist_base_addrs(gd->gicr_base, gicr_base_pa);  in gic_init_base_addr()
576 		vaddr_t gicr_base = get_gicr_base(gd);  in gic_init_v3()  local
578 		if (gicr_base) {  in gic_init_v3()
579 			gd->per_cpu_group_status = io_read32(gicr_base +  in gic_init_v3()
581 			gd->per_cpu_group_modifier = io_read32(gicr_base +  in gic_init_v3()
1012 		vaddr_t gicr_base = get_gicr_base(gd);  in gic_op_configure()  local
1014 		if (!gicr_base)  in gic_op_configure()
1018 		io_write32(gicr_base + GICR_ICENABLER0, BIT32(it));  in gic_op_configure()
1021 		gicr_wait_for_pending_write(gicr_base);  in gic_op_configure()
1024 		io_write32(gicr_base + GICR_ICPENDR0, BIT32(it));  in gic_op_configure()
1027 		io_write32(gicr_base + GICR_IGROUPR0, gd->per_cpu_group_status);  in gic_op_configure()
1028 		io_write32(gicr_base + GICR_IGRPMODR0,  in gic_op_configure()
1053 		vaddr_t gicr_base = get_gicr_base(gd);  in gic_op_enable()  local
1055 		if (!gicr_base)  in gic_op_enable()
1061 		io_write32(gicr_base + GICR_ISENABLER0, gd->per_cpu_enable);  in gic_op_enable()