Lines Matching refs:rdist_regions
1605 if ( v->vcpu_id < d->arch.vgic.rdist_regions[i].first_cpu ) in vgic_v3_vcpu_init()
1609 region = &d->arch.vgic.rdist_regions[i - 1]; in vgic_v3_vcpu_init()
1649 struct vgic_rdist_region *rdist_regions; in vgic_v3_domain_init() local
1655 rdist_regions = xzalloc_array(struct vgic_rdist_region, rdist_count); in vgic_v3_domain_init()
1656 if ( !rdist_regions ) in vgic_v3_domain_init()
1660 d->arch.vgic.rdist_regions = rdist_regions; in vgic_v3_domain_init()
1688 d->arch.vgic.rdist_regions[i].base = vgic_v3_hw.regions[i].base; in vgic_v3_domain_init()
1689 d->arch.vgic.rdist_regions[i].size = size; in vgic_v3_domain_init()
1692 d->arch.vgic.rdist_regions[i].first_cpu = first_cpu; in vgic_v3_domain_init()
1710 d->arch.vgic.rdist_regions[0].base = GUEST_GICV3_GICR0_BASE; in vgic_v3_domain_init()
1711 d->arch.vgic.rdist_regions[0].size = GUEST_GICV3_GICR0_SIZE; in vgic_v3_domain_init()
1712 d->arch.vgic.rdist_regions[0].first_cpu = 0; in vgic_v3_domain_init()
1739 struct vgic_rdist_region *region = &d->arch.vgic.rdist_regions[i]; in vgic_v3_domain_init()
1761 xfree(d->arch.vgic.rdist_regions); in vgic_v3_domain_free()