vmx_vcpu_load_vmcs  305 arch/x86/kvm/vmx/nested.c 	vmx_vcpu_load_vmcs(vcpu, cpu, prev);
vmx_vcpu_load_vmcs 1369 arch/x86/kvm/vmx/vmx.c 	vmx_vcpu_load_vmcs(vcpu, cpu, NULL);
vmx_vcpu_load_vmcs  307 arch/x86/kvm/vmx/vmx.h void vmx_vcpu_load_vmcs(struct kvm_vcpu *vcpu, int cpu,