Searched refs:current_vmcb (Results 1 – 2 of 2) sorted by relevance
1236 svm->current_vmcb->asid_generation = 0; in init_vmcb()1310 svm->current_vmcb = target_vmcb; in svm_switch_vmcb()1913 svm->current_vmcb->asid_generation = sd->asid_generation; in new_asid()3435 vm_type, vcpu->vcpu_id, svm->current_vmcb->ptr, vcpu->arch.last_vmentry_cpu); in dump_vmcb()3761 if (unlikely(svm->current_vmcb->cpu != vcpu->cpu)) { in pre_svm_run()3762 svm->current_vmcb->asid_generation = 0; in pre_svm_run()3764 svm->current_vmcb->cpu = vcpu->cpu; in pre_svm_run()3771 if (svm->current_vmcb->asid_generation != sd->asid_generation) in pre_svm_run()4196 svm->current_vmcb->asid_generation--; in svm_flush_tlb_asid()
285 struct kvm_vmcb_info *current_vmcb; member