VMX_BASIC_TRUE_CTLS 862 arch/x86/include/asm/msr-index.h #define VMX_BASIC_TRUE_CTLS (1ULL << 55) VMX_BASIC_TRUE_CTLS 1079 tools/testing/selftests/kvm/include/x86_64/processor.h #define VMX_BASIC_TRUE_CTLS (1ULL << 55)