Lines Matching refs:vcpu_id
81 unsigned int vcpu_id; in vgic_v3_irouter_to_vcpu() local
90 vcpu_id = vaffinity_to_vcpuid(irouter); in vgic_v3_irouter_to_vcpu()
91 if ( vcpu_id >= d->max_vcpus ) in vgic_v3_irouter_to_vcpu()
94 return d->vcpu[vcpu_id]; in vgic_v3_irouter_to_vcpu()
162 write_atomic(&rank->vcpu[offset], new_vcpu->vcpu_id); in vgic_store_irouter()
205 typer |= v->vcpu_id << GICR_TYPER_PROC_NUM_SHIFT; in __vgic_v3_rdistr_rd_mmio_read()
1034 unsigned int vcpu_id; in get_vcpu_from_rdist() local
1036 vcpu_id = region->first_cpu + ((gpa - region->base) / stride); in get_vcpu_from_rdist()
1037 if ( unlikely(vcpu_id >= d->max_vcpus) ) in get_vcpu_from_rdist()
1040 v = d->vcpu[vcpu_id]; in get_vcpu_from_rdist()
1605 if ( v->vcpu_id < d->arch.vgic.rdist_regions[i].first_cpu ) in vgic_v3_vcpu_init()
1613 rdist_base += (v->vcpu_id - region->first_cpu) * rdist_stride; in vgic_v3_vcpu_init()
1621 d->domain_id, v->vcpu_id); in vgic_v3_vcpu_init()
1635 if ( v->vcpu_id == last_cpu || (v->vcpu_id == (d->max_vcpus - 1)) ) in vgic_v3_vcpu_init()