259 	struct vgic_redist_region *rdreg = vgic_cpu->rdreg;  in vgic_mmio_read_v3r_typer()  local
261 	gpa_t last_rdist_typer = rdreg->base + GICR_TYPER +  in vgic_mmio_read_v3r_typer()
262 			(rdreg->free_index - 1) * KVM_VGIC_V3_REDIST_SIZE;  in vgic_mmio_read_v3r_typer()
696 	struct vgic_redist_region *rdreg;  in vgic_register_redist_iodev()  local
709 	rdreg = vgic_v3_rdist_free_slot(&vgic->rd_regions);  in vgic_register_redist_iodev()
710 	if (!rdreg)  in vgic_register_redist_iodev()
716 	vgic_cpu->rdreg = rdreg;  in vgic_register_redist_iodev()
718 	rd_base = rdreg->base + rdreg->free_index * KVM_VGIC_V3_REDIST_SIZE;  in vgic_register_redist_iodev()
735 	rdreg->free_index++;  in vgic_register_redist_iodev()
789 	struct vgic_redist_region *rdreg;  in vgic_v3_insert_redist_region()  local
806 		rdreg = list_last_entry(rd_regions,  in vgic_v3_insert_redist_region()
808 		if (index != rdreg->index + 1)  in vgic_v3_insert_redist_region()
812 		if (!rdreg->count)  in vgic_v3_insert_redist_region()
829 	rdreg = kzalloc(sizeof(*rdreg), GFP_KERNEL);  in vgic_v3_insert_redist_region()
830 	if (!rdreg)  in vgic_v3_insert_redist_region()
833 	rdreg->base = VGIC_ADDR_UNDEF;  in vgic_v3_insert_redist_region()
835 	ret = vgic_check_ioaddr(kvm, &rdreg->base, base, SZ_64K);  in vgic_v3_insert_redist_region()
839 	rdreg->base = base;  in vgic_v3_insert_redist_region()
840 	rdreg->count = count;  in vgic_v3_insert_redist_region()
841 	rdreg->free_index = 0;  in vgic_v3_insert_redist_region()
842 	rdreg->index = index;  in vgic_v3_insert_redist_region()
844 	list_add_tail(&rdreg->list, rd_regions);  in vgic_v3_insert_redist_region()
847 	kfree(rdreg);  in vgic_v3_insert_redist_region()