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