VMX_BASIC_VMCS_SIZE_SHIFT  861 arch/x86/include/asm/msr-index.h #define VMX_BASIC_VMCS_SIZE_SHIFT	32
VMX_BASIC_VMCS_SIZE_SHIFT 1078 tools/testing/selftests/kvm/include/x86_64/processor.h #define VMX_BASIC_VMCS_SIZE_SHIFT	32