vmx_basic 120 arch/x86/include/asm/vmx.h static inline u32 vmx_basic_vmcs_revision_id(u64 vmx_basic) vmx_basic 122 arch/x86/include/asm/vmx.h return vmx_basic & GENMASK_ULL(30, 0); vmx_basic 125 arch/x86/include/asm/vmx.h static inline u32 vmx_basic_vmcs_size(u64 vmx_basic) vmx_basic 127 arch/x86/include/asm/vmx.h return (vmx_basic & GENMASK_ULL(44, 32)) >> 32; vmx_basic 1063 arch/x86/kvm/vmx/nested.c u64 vmx_basic = vmx->nested.msrs.basic; vmx_basic 1065 arch/x86/kvm/vmx/nested.c if (!is_bitwise_subset(vmx_basic, data, feature_and_reserved)) vmx_basic 1075 arch/x86/kvm/vmx/nested.c if (vmx_basic_vmcs_revision_id(vmx_basic) != vmx_basic 1079 arch/x86/kvm/vmx/nested.c if (vmx_basic_vmcs_size(vmx_basic) > vmx_basic_vmcs_size(data))