vmcs_version     1214 arch/x86/include/asm/kvm_host.h 				   uint16_t *vmcs_version);
vmcs_version      350 arch/x86/kvm/vmx/evmcs.c 			uint16_t *vmcs_version)
vmcs_version      357 arch/x86/kvm/vmx/evmcs.c 	if (vmcs_version)
vmcs_version      358 arch/x86/kvm/vmx/evmcs.c 		*vmcs_version = nested_get_evmcs_version(vcpu);
vmcs_version      203 arch/x86/kvm/vmx/evmcs.h 			uint16_t *vmcs_version);
vmcs_version     4134 arch/x86/kvm/x86.c 	uint16_t vmcs_version;
vmcs_version     4154 arch/x86/kvm/x86.c 		r = kvm_x86_ops->nested_enable_evmcs(vcpu, &vmcs_version);
vmcs_version     4157 arch/x86/kvm/x86.c 			if (copy_to_user(user_ptr, &vmcs_version,
vmcs_version     4158 arch/x86/kvm/x86.c 					 sizeof(vmcs_version)))