.write = vgic_v3_distr_mmio_write,
};
-static int vgic_v3_real_domain_init(struct domain *d);
-
static int vgic_v3_vcpu_init(struct vcpu *v)
{
- int i, rc;
+ int i;
paddr_t rdist_base;
struct vgic_rdist_region *region;
unsigned int last_cpu;
/* Convenient alias */
struct domain *d = v->domain;
- /*
- * This is the earliest place where the number of vCPUs is
- * known. This is required to initialize correctly the vGIC v3
- * domain structure. We only to do that when vCPU 0 is
- * initilialized.
- */
- if ( v->vcpu_id == 0 )
- {
- rc = vgic_v3_real_domain_init(d);
- if ( rc )
- return rc;
- }
-
/*
* Find the region where the re-distributor lives. For this purpose,
* we look one region ahead as we have only the first CPU in hand.
GUEST_GICV3_RDIST_REGIONS;
}
-static int vgic_v3_real_domain_init(struct domain *d)
+static int vgic_v3_domain_init(struct domain *d)
{
struct vgic_rdist_region *rdist_regions;
int rdist_count, i, ret;
return 0;
}
-static int vgic_v3_domain_init(struct domain *d)
-{
- /*
- * The domain initialization for vGIC v3 is delayed until the first vCPU
- * is created. This because the initialization may require to know the
- * number of vCPUs that is not known when creating the domain.
- */
- return 0;
-}
-
static void vgic_v3_domain_free(struct domain *d)
{
vgic_v3_its_free_domain(d);