Lines Matching defs:vcpu
195 static void kvm_update_vpid(struct kvm_vcpu *vcpu, int cpu)
200 context = per_cpu_ptr(vcpu->kvm->arch.vmcs, cpu);
214 vcpu->arch.vpid = vpid;
217 void kvm_check_vpid(struct kvm_vcpu *vcpu)
229 context = per_cpu_ptr(vcpu->kvm->arch.vmcs, cpu);
230 migrated = (vcpu->cpu != cpu);
239 ver = vcpu->arch.vpid & ~vpid_mask;
242 kvm_update_vpid(vcpu, cpu);
243 trace_kvm_vpid_change(vcpu, vcpu->arch.vpid);
244 vcpu->cpu = cpu;
248 vpid = (vcpu->arch.vpid & vpid_mask) << CSR_GSTAT_GID_SHIFT;