Lines Matching refs:rdist_stride
61 uint32_t rdist_stride; /* Re-distributor stride */ member
68 uint32_t rdist_stride, in vgic_v3_setup_hw() argument
75 vgic_v3_hw.rdist_stride = rdist_stride; in vgic_v3_setup_hw()
1033 uint32_t stride = d->arch.vgic.rdist_stride; in get_vcpu_from_rdist()
1597 uint32_t rdist_stride = d->arch.vgic.rdist_stride; in vgic_v3_vcpu_init() local
1613 rdist_base += (v->vcpu_id - region->first_cpu) * rdist_stride; in vgic_v3_vcpu_init()
1617 ((rdist_base + rdist_stride) > (region->base + region->size)) ) in vgic_v3_vcpu_init()
1633 last_cpu = (region->size / rdist_stride) + region->first_cpu - 1; in vgic_v3_vcpu_init()
1675 d->arch.vgic.rdist_stride = vgic_v3_hw.rdist_stride; in vgic_v3_domain_init()
1681 if ( !d->arch.vgic.rdist_stride ) in vgic_v3_domain_init()
1682 d->arch.vgic.rdist_stride = 2 * SZ_64K; in vgic_v3_domain_init()
1694 first_cpu += size / d->arch.vgic.rdist_stride; in vgic_v3_domain_init()
1706 d->arch.vgic.rdist_stride = GUEST_GICV3_RDIST_STRIDE; in vgic_v3_domain_init()