Searched refs:current_vmcb (Results 1 – 2 of 2) sorted by relevance
1228 svm->current_vmcb->asid_generation = 0; in init_vmcb()1302 svm->current_vmcb = target_vmcb; in svm_switch_vmcb()1903 svm->current_vmcb->asid_generation = sd->asid_generation; in new_asid()3440 vm_type, vcpu->vcpu_id, svm->current_vmcb->ptr, vcpu->arch.last_vmentry_cpu); in dump_vmcb()3766 if (unlikely(svm->current_vmcb->cpu != vcpu->cpu)) { in pre_svm_run()3767 svm->current_vmcb->asid_generation = 0; in pre_svm_run()3769 svm->current_vmcb->cpu = vcpu->cpu; in pre_svm_run()3776 if (svm->current_vmcb->asid_generation != sd->asid_generation) in pre_svm_run()4201 svm->current_vmcb->asid_generation--; in svm_flush_tlb_asid()
286 struct kvm_vmcb_info *current_vmcb; member