Searched refs:current_vmcb (Results 1 – 3 of 3) sorted by relevance
18 OFFSET(SVM_current_vmcb, vcpu_svm, current_vmcb); in common()
1173 svm->current_vmcb->asid_generation = 0; in init_vmcb()1250 svm->current_vmcb = target_vmcb; in svm_switch_vmcb()1853 svm->current_vmcb->asid_generation = sd->asid_generation; in new_asid()3330 vm_type, vcpu->vcpu_id, svm->current_vmcb->ptr, vcpu->arch.last_vmentry_cpu); in dump_vmcb()3651 if (unlikely(svm->current_vmcb->cpu != vcpu->cpu)) { in pre_svm_run()3652 svm->current_vmcb->asid_generation = 0; in pre_svm_run()3654 svm->current_vmcb->cpu = vcpu->cpu; in pre_svm_run()3661 if (svm->current_vmcb->asid_generation != sd->asid_generation) in pre_svm_run()4028 svm->current_vmcb->asid_generation--; in svm_flush_tlb_asid()
257 struct kvm_vmcb_info *current_vmcb; member