212 	struct vgic_redist_region *rdreg = vgic_cpu->rdreg;  in vgic_mmio_read_v3r_typer()  local
214 	gpa_t last_rdist_typer = rdreg->base + GICR_TYPER +  in vgic_mmio_read_v3r_typer()
215 			(rdreg->free_index - 1) * KVM_VGIC_V3_REDIST_SIZE;  in vgic_mmio_read_v3r_typer()
636 	struct vgic_redist_region *rdreg;  in vgic_register_redist_iodev()  local
649 	rdreg = vgic_v3_rdist_free_slot(&vgic->rd_regions);  in vgic_register_redist_iodev()
650 	if (!rdreg)  in vgic_register_redist_iodev()
656 	vgic_cpu->rdreg = rdreg;  in vgic_register_redist_iodev()
658 	rd_base = rdreg->base + rdreg->free_index * KVM_VGIC_V3_REDIST_SIZE;  in vgic_register_redist_iodev()
692 	rdreg->free_index++;  in vgic_register_redist_iodev()
750 	struct vgic_redist_region *rdreg;  in vgic_v3_insert_redist_region()  local
767 		rdreg = list_last_entry(rd_regions,  in vgic_v3_insert_redist_region()
769 		if (index != rdreg->index + 1)  in vgic_v3_insert_redist_region()
773 		if (!rdreg->count)  in vgic_v3_insert_redist_region()
790 	rdreg = kzalloc(sizeof(*rdreg), GFP_KERNEL);  in vgic_v3_insert_redist_region()
791 	if (!rdreg)  in vgic_v3_insert_redist_region()
794 	rdreg->base = VGIC_ADDR_UNDEF;  in vgic_v3_insert_redist_region()
796 	ret = vgic_check_ioaddr(kvm, &rdreg->base, base, SZ_64K);  in vgic_v3_insert_redist_region()
800 	rdreg->base = base;  in vgic_v3_insert_redist_region()
801 	rdreg->count = count;  in vgic_v3_insert_redist_region()
802 	rdreg->free_index = 0;  in vgic_v3_insert_redist_region()
803 	rdreg->index = index;  in vgic_v3_insert_redist_region()
805 	list_add_tail(&rdreg->list, rd_regions);  in vgic_v3_insert_redist_region()
808 	kfree(rdreg);  in vgic_v3_insert_redist_region()