Lines Matching refs:current_vmcb

1186 	svm->current_vmcb->asid_generation = 0;  in init_vmcb()
1259 	svm->current_vmcb = target_vmcb;  in svm_switch_vmcb()
1331 		cmpxchg(&per_cpu(svm_data, i)->current_vmcb, vmcb, NULL);  in svm_clear_current_vmcb()
1395 	if (sd->current_vmcb != svm->vmcb) {  in svm_vcpu_load()
1396 		sd->current_vmcb = svm->vmcb;  in svm_vcpu_load()
1810 	svm->current_vmcb->asid_generation = sd->asid_generation;  in new_asid()
3126 	       svm->current_vmcb->ptr, vcpu->arch.last_vmentry_cpu);  in dump_vmcb()
3363 	if (unlikely(svm->current_vmcb->cpu != vcpu->cpu)) {  in pre_svm_run()
3364 		svm->current_vmcb->asid_generation = 0;  in pre_svm_run()
3366 		svm->current_vmcb->cpu = vcpu->cpu;  in pre_svm_run()
3373 	if (svm->current_vmcb->asid_generation != sd->asid_generation)  in pre_svm_run()
3636 		svm->current_vmcb->asid_generation--;  in svm_flush_tlb_current()
3779 	unsigned long vmcb_pa = svm->current_vmcb->pa;  in svm_vcpu_enter_exit()