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)))