4ec855
From 88ab13cec526a16cb02bf1af51bdd33230308d36 Mon Sep 17 00:00:00 2001
4ec855
From: Paolo Bonzini <pbonzini@redhat.com>
4ec855
Date: Fri, 22 Nov 2019 11:53:44 +0000
4ec855
Subject: [PATCH 11/16] target/i386: add VMX features
4ec855
4ec855
RH-Author: Paolo Bonzini <pbonzini@redhat.com>
4ec855
Message-id: <20191122115348.25000-12-pbonzini@redhat.com>
4ec855
Patchwork-id: 92608
4ec855
O-Subject: [RHEL8.2/rhel qemu-kvm PATCH 11/15] target/i386: add VMX features
4ec855
Bugzilla: 1689270
4ec855
RH-Acked-by: Dr. David Alan Gilbert <dgilbert@redhat.com>
4ec855
RH-Acked-by: Eduardo Habkost <ehabkost@redhat.com>
4ec855
RH-Acked-by: Maxim Levitsky <mlevitsk@redhat.com>
4ec855
4ec855
Add code to convert the VMX feature words back into MSR values,
4ec855
allowing the user to enable/disable VMX features as they wish.  The same
4ec855
infrastructure enables support for limiting VMX features in named
4ec855
CPU models.
4ec855
4ec855
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
4ec855
(cherry picked from commit 20a78b02d31534ae478779c2f2816c273601e869)
4ec855
Signed-off-by: Danilo C. L. de Paula <ddepaula@redhat.com>
4ec855
---
4ec855
 target/i386/cpu.c | 225 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
4ec855
 target/i386/cpu.h |   9 +++
4ec855
 target/i386/kvm.c | 162 ++++++++++++++++++++++++++++++++++++++-
4ec855
 3 files changed, 394 insertions(+), 2 deletions(-)
4ec855
4ec855
diff --git a/target/i386/cpu.c b/target/i386/cpu.c
4ec855
index 3e77830..9074a2e 100644
4ec855
--- a/target/i386/cpu.c
4ec855
+++ b/target/i386/cpu.c
4ec855
@@ -1171,6 +1171,163 @@ static FeatureWordInfo feature_word_info[FEATURE_WORDS] = {
4ec855
             .index = MSR_IA32_CORE_CAPABILITY,
4ec855
         },
4ec855
     },
4ec855
+
4ec855
+    [FEAT_VMX_PROCBASED_CTLS] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            NULL, NULL, "vmx-vintr-pending", "vmx-tsc-offset",
4ec855
+            NULL, NULL, NULL, "vmx-hlt-exit",
4ec855
+            NULL, "vmx-invlpg-exit", "vmx-mwait-exit", "vmx-rdpmc-exit",
4ec855
+            "vmx-rdtsc-exit", NULL, NULL, "vmx-cr3-load-noexit",
4ec855
+            "vmx-cr3-store-noexit", NULL, NULL, "vmx-cr8-load-exit",
4ec855
+            "vmx-cr8-store-exit", "vmx-flexpriority", "vmx-vnmi-pending", "vmx-movdr-exit",
4ec855
+            "vmx-io-exit", "vmx-io-bitmap", NULL, "vmx-mtf",
4ec855
+            "vmx-msr-bitmap", "vmx-monitor-exit", "vmx-pause-exit", "vmx-secondary-ctls",
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_TRUE_PROCBASED_CTLS,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_SECONDARY_CTLS] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            "vmx-apicv-xapic", "vmx-ept", "vmx-desc-exit", "vmx-rdtscp-exit",
4ec855
+            "vmx-apicv-x2apic", "vmx-vpid", "vmx-wbinvd-exit", "vmx-unrestricted-guest",
4ec855
+            "vmx-apicv-register", "vmx-apicv-vid", "vmx-ple", "vmx-rdrand-exit",
4ec855
+            "vmx-invpcid-exit", "vmx-vmfunc", "vmx-shadow-vmcs", "vmx-encls-exit",
4ec855
+            "vmx-rdseed-exit", "vmx-pml", NULL, NULL,
4ec855
+            "vmx-xsaves", NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_PROCBASED_CTLS2,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_PINBASED_CTLS] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            "vmx-intr-exit", NULL, NULL, "vmx-nmi-exit",
4ec855
+            NULL, "vmx-vnmi", "vmx-preemption-timer", "vmx-posted-intr",
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_TRUE_PINBASED_CTLS,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_EXIT_CTLS] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        /*
4ec855
+         * VMX_VM_EXIT_HOST_ADDR_SPACE_SIZE is copied from
4ec855
+         * the LM CPUID bit.
4ec855
+         */
4ec855
+        .feat_names = {
4ec855
+            NULL, NULL, "vmx-exit-nosave-debugctl", NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL /* vmx-exit-host-addr-space-size */, NULL, NULL,
4ec855
+            "vmx-exit-load-perf-global-ctrl", NULL, NULL, "vmx-exit-ack-intr",
4ec855
+            NULL, NULL, "vmx-exit-save-pat", "vmx-exit-load-pat",
4ec855
+            "vmx-exit-save-efer", "vmx-exit-load-efer",
4ec855
+                "vmx-exit-save-preemption-timer", "vmx-exit-clear-bndcfgs",
4ec855
+            NULL, "vmx-exit-clear-rtit-ctl", NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_TRUE_EXIT_CTLS,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_ENTRY_CTLS] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            NULL, NULL, "vmx-entry-noload-debugctl", NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, "vmx-entry-ia32e-mode", NULL, NULL,
4ec855
+            NULL, "vmx-entry-load-perf-global-ctrl", "vmx-entry-load-pat", "vmx-entry-load-efer",
4ec855
+            "vmx-entry-load-bndcfgs", NULL, "vmx-entry-load-rtit-ctl", NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_TRUE_ENTRY_CTLS,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_MISC] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, "vmx-store-lma", "vmx-activity-hlt", "vmx-activity-shutdown",
4ec855
+            "vmx-activity-wait-sipi", NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, "vmx-vmwrite-vmexit-fields", "vmx-zero-len-inject", NULL,
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_MISC,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_EPT_VPID_CAPS] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            "vmx-ept-execonly", NULL, NULL, NULL,
4ec855
+            NULL, NULL, "vmx-page-walk-4", "vmx-page-walk-5",
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            "vmx-ept-2mb", "vmx-ept-1gb", NULL, NULL,
4ec855
+            "vmx-invept", "vmx-eptad", "vmx-ept-advanced-exitinfo", NULL,
4ec855
+            NULL, "vmx-invept-single-context", "vmx-invept-all-context", NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            "vmx-invvpid", NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            "vmx-invvpid-single-addr", "vmx-invept-single-context",
4ec855
+                "vmx-invvpid-all-context", "vmx-invept-single-context-noglobals",
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+            NULL, NULL, NULL, NULL,
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_EPT_VPID_CAP,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_BASIC] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            [54] = "vmx-ins-outs",
4ec855
+            [55] = "vmx-true-ctls",
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_BASIC,
4ec855
+        },
4ec855
+        /* Just to be safe - we don't support setting the MSEG version field.  */
4ec855
+        .no_autoenable_flags = MSR_VMX_BASIC_DUAL_MONITOR,
4ec855
+    },
4ec855
+
4ec855
+    [FEAT_VMX_VMFUNC] = {
4ec855
+        .type = MSR_FEATURE_WORD,
4ec855
+        .feat_names = {
4ec855
+            [0] = "vmx-eptp-switching",
4ec855
+        },
4ec855
+        .msr = {
4ec855
+            .index = MSR_IA32_VMX_VMFUNC,
4ec855
+        }
4ec855
+    },
4ec855
+
4ec855
 };
4ec855
 
4ec855
 typedef struct FeatureMask {
4ec855
@@ -1191,6 +1348,74 @@ static FeatureDep feature_dependencies[] = {
4ec855
         .from = { FEAT_7_0_EDX,             CPUID_7_0_EDX_CORE_CAPABILITY },
4ec855
         .to = { FEAT_CORE_CAPABILITY,       ~0ull },
4ec855
     },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_VMX },
4ec855
+        .to = { FEAT_VMX_PROCBASED_CTLS,    ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_VMX },
4ec855
+        .to = { FEAT_VMX_PINBASED_CTLS,     ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_VMX },
4ec855
+        .to = { FEAT_VMX_EXIT_CTLS,         ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_VMX },
4ec855
+        .to = { FEAT_VMX_ENTRY_CTLS,        ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_VMX },
4ec855
+        .to = { FEAT_VMX_MISC,              ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_VMX },
4ec855
+        .to = { FEAT_VMX_BASIC,             ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_8000_0001_EDX,       CPUID_EXT2_LM },
4ec855
+        .to = { FEAT_VMX_ENTRY_CTLS,        VMX_VM_ENTRY_IA32E_MODE },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_VMX_PROCBASED_CTLS,  VMX_CPU_BASED_ACTIVATE_SECONDARY_CONTROLS },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    ~0ull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_XSAVE,               CPUID_XSAVE_XSAVES },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    VMX_SECONDARY_EXEC_XSAVES },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_1_ECX,               CPUID_EXT_RDRAND },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    VMX_SECONDARY_EXEC_RDRAND_EXITING },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_7_0_EBX,             CPUID_7_0_EBX_INVPCID },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    VMX_SECONDARY_EXEC_ENABLE_INVPCID },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_7_0_EBX,             CPUID_7_0_EBX_RDSEED },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    VMX_SECONDARY_EXEC_RDSEED_EXITING },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_8000_0001_EDX,       CPUID_EXT2_RDTSCP },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    VMX_SECONDARY_EXEC_RDTSCP },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_VMX_SECONDARY_CTLS,  VMX_SECONDARY_EXEC_ENABLE_EPT },
4ec855
+        .to = { FEAT_VMX_EPT_VPID_CAPS,     0xffffffffull },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_VMX_SECONDARY_CTLS,  VMX_SECONDARY_EXEC_ENABLE_EPT },
4ec855
+        .to = { FEAT_VMX_SECONDARY_CTLS,    VMX_SECONDARY_EXEC_UNRESTRICTED_GUEST },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_VMX_SECONDARY_CTLS,  VMX_SECONDARY_EXEC_ENABLE_VPID },
4ec855
+        .to = { FEAT_VMX_EPT_VPID_CAPS,     0xffffffffull << 32 },
4ec855
+    },
4ec855
+    {
4ec855
+        .from = { FEAT_VMX_SECONDARY_CTLS,  VMX_SECONDARY_EXEC_ENABLE_VMFUNC },
4ec855
+        .to = { FEAT_VMX_VMFUNC,            ~0ull },
4ec855
+    },
4ec855
 };
4ec855
 
4ec855
 typedef struct X86RegisterInfo32 {
4ec855
diff --git a/target/i386/cpu.h b/target/i386/cpu.h
4ec855
index 2d1f247..386e821 100644
4ec855
--- a/target/i386/cpu.h
4ec855
+++ b/target/i386/cpu.h
4ec855
@@ -522,6 +522,15 @@ typedef enum FeatureWord {
4ec855
     FEAT_XSAVE_COMP_HI, /* CPUID[EAX=0xd,ECX=0].EDX */
4ec855
     FEAT_ARCH_CAPABILITIES,
4ec855
     FEAT_CORE_CAPABILITY,
4ec855
+    FEAT_VMX_PROCBASED_CTLS,
4ec855
+    FEAT_VMX_SECONDARY_CTLS,
4ec855
+    FEAT_VMX_PINBASED_CTLS,
4ec855
+    FEAT_VMX_EXIT_CTLS,
4ec855
+    FEAT_VMX_ENTRY_CTLS,
4ec855
+    FEAT_VMX_MISC,
4ec855
+    FEAT_VMX_EPT_VPID_CAPS,
4ec855
+    FEAT_VMX_BASIC,
4ec855
+    FEAT_VMX_VMFUNC,
4ec855
     FEATURE_WORDS,
4ec855
 } FeatureWord;
4ec855
 
4ec855
diff --git a/target/i386/kvm.c b/target/i386/kvm.c
4ec855
index 85abd37..512d7d5 100644
4ec855
--- a/target/i386/kvm.c
4ec855
+++ b/target/i386/kvm.c
4ec855
@@ -96,6 +96,7 @@ static bool has_msr_virt_ssbd;
4ec855
 static bool has_msr_smi_count;
4ec855
 static bool has_msr_arch_capabs;
4ec855
 static bool has_msr_core_capabs;
4ec855
+static bool has_msr_vmx_vmfunc;
4ec855
 
4ec855
 static uint32_t has_architectural_pmu_version;
4ec855
 static uint32_t num_architectural_pmu_gp_counters;
4ec855
@@ -429,7 +430,8 @@ uint64_t kvm_arch_get_supported_msr_feature(KVMState *s, uint32_t index)
4ec855
         struct kvm_msrs info;
4ec855
         struct kvm_msr_entry entries[1];
4ec855
     } msr_data;
4ec855
-    uint32_t ret;
4ec855
+    uint64_t value;
4ec855
+    uint32_t ret, can_be_one, must_be_one;
4ec855
 
4ec855
     if (kvm_feature_msrs == NULL) { /* Host doesn't support feature MSRs */
4ec855
         return 0;
4ec855
@@ -455,7 +457,25 @@ uint64_t kvm_arch_get_supported_msr_feature(KVMState *s, uint32_t index)
4ec855
         exit(1);
4ec855
     }
4ec855
 
4ec855
-    return msr_data.entries[0].data;
4ec855
+    value = msr_data.entries[0].data;
4ec855
+    switch (index) {
4ec855
+    case MSR_IA32_VMX_PROCBASED_CTLS2:
4ec855
+    case MSR_IA32_VMX_TRUE_PINBASED_CTLS:
4ec855
+    case MSR_IA32_VMX_TRUE_PROCBASED_CTLS:
4ec855
+    case MSR_IA32_VMX_TRUE_ENTRY_CTLS:
4ec855
+    case MSR_IA32_VMX_TRUE_EXIT_CTLS:
4ec855
+        /*
4ec855
+         * Return true for bits that can be one, but do not have to be one.
4ec855
+         * The SDM tells us which bits could have a "must be one" setting,
4ec855
+         * so we can do the opposite transformation in make_vmx_msr_value.
4ec855
+         */
4ec855
+        must_be_one = (uint32_t)value;
4ec855
+        can_be_one = (uint32_t)(value >> 32);
4ec855
+        return can_be_one & ~must_be_one;
4ec855
+
4ec855
+    default:
4ec855
+        return value;
4ec855
+    }
4ec855
 }
4ec855
 
4ec855
 
4ec855
@@ -1430,6 +1450,9 @@ static int kvm_get_supported_msrs(KVMState *s)
4ec855
             case MSR_IA32_CORE_CAPABILITY:
4ec855
                 has_msr_core_capabs = true;
4ec855
                 break;
4ec855
+            case MSR_IA32_VMX_VMFUNC:
4ec855
+                has_msr_vmx_vmfunc = true;
4ec855
+                break;
4ec855
             }
4ec855
         }
4ec855
     }
4ec855
@@ -1886,6 +1909,132 @@ static int kvm_put_msr_feature_control(X86CPU *cpu)
4ec855
     return 0;
4ec855
 }
4ec855
 
4ec855
+static uint64_t make_vmx_msr_value(uint32_t index, uint32_t features)
4ec855
+{
4ec855
+    uint32_t default1, can_be_one, can_be_zero;
4ec855
+    uint32_t must_be_one;
4ec855
+
4ec855
+    switch (index) {
4ec855
+    case MSR_IA32_VMX_TRUE_PINBASED_CTLS:
4ec855
+        default1 = 0x00000016;
4ec855
+        break;
4ec855
+    case MSR_IA32_VMX_TRUE_PROCBASED_CTLS:
4ec855
+        default1 = 0x0401e172;
4ec855
+        break;
4ec855
+    case MSR_IA32_VMX_TRUE_ENTRY_CTLS:
4ec855
+        default1 = 0x000011ff;
4ec855
+        break;
4ec855
+    case MSR_IA32_VMX_TRUE_EXIT_CTLS:
4ec855
+        default1 = 0x00036dff;
4ec855
+        break;
4ec855
+    case MSR_IA32_VMX_PROCBASED_CTLS2:
4ec855
+        default1 = 0;
4ec855
+        break;
4ec855
+    default:
4ec855
+        abort();
4ec855
+    }
4ec855
+
4ec855
+    /* If a feature bit is set, the control can be either set or clear.
4ec855
+     * Otherwise the value is limited to either 0 or 1 by default1.
4ec855
+     */
4ec855
+    can_be_one = features | default1;
4ec855
+    can_be_zero = features | ~default1;
4ec855
+    must_be_one = ~can_be_zero;
4ec855
+
4ec855
+    /*
4ec855
+     * Bit 0:31 -> 0 if the control bit can be zero (i.e. 1 if it must be one).
4ec855
+     * Bit 32:63 -> 1 if the control bit can be one.
4ec855
+     */
4ec855
+    return must_be_one | (((uint64_t)can_be_one) << 32);
4ec855
+}
4ec855
+
4ec855
+#define VMCS12_MAX_FIELD_INDEX (0x17)
4ec855
+
4ec855
+static void kvm_msr_entry_add_vmx(X86CPU *cpu, FeatureWordArray f)
4ec855
+{
4ec855
+    uint64_t kvm_vmx_basic =
4ec855
+        kvm_arch_get_supported_msr_feature(kvm_state,
4ec855
+                                           MSR_IA32_VMX_BASIC);
4ec855
+    uint64_t kvm_vmx_misc =
4ec855
+        kvm_arch_get_supported_msr_feature(kvm_state,
4ec855
+                                           MSR_IA32_VMX_MISC);
4ec855
+    uint64_t kvm_vmx_ept_vpid =
4ec855
+        kvm_arch_get_supported_msr_feature(kvm_state,
4ec855
+                                           MSR_IA32_VMX_EPT_VPID_CAP);
4ec855
+
4ec855
+    /*
4ec855
+     * If the guest is 64-bit, a value of 1 is allowed for the host address
4ec855
+     * space size vmexit control.
4ec855
+     */
4ec855
+    uint64_t fixed_vmx_exit = f[FEAT_8000_0001_EDX] & CPUID_EXT2_LM
4ec855
+        ? (uint64_t)VMX_VM_EXIT_HOST_ADDR_SPACE_SIZE << 32 : 0;
4ec855
+
4ec855
+    /*
4ec855
+     * Bits 0-30, 32-44 and 50-53 come from the host.  KVM should
4ec855
+     * not change them for backwards compatibility.
4ec855
+     */
4ec855
+    uint64_t fixed_vmx_basic = kvm_vmx_basic &
4ec855
+        (MSR_VMX_BASIC_VMCS_REVISION_MASK |
4ec855
+         MSR_VMX_BASIC_VMXON_REGION_SIZE_MASK |
4ec855
+         MSR_VMX_BASIC_VMCS_MEM_TYPE_MASK);
4ec855
+
4ec855
+    /*
4ec855
+     * Same for bits 0-4 and 25-27.  Bits 16-24 (CR3 target count) can
4ec855
+     * change in the future but are always zero for now, clear them to be
4ec855
+     * future proof.  Bits 32-63 in theory could change, though KVM does
4ec855
+     * not support dual-monitor treatment and probably never will; mask
4ec855
+     * them out as well.
4ec855
+     */
4ec855
+    uint64_t fixed_vmx_misc = kvm_vmx_misc &
4ec855
+        (MSR_VMX_MISC_PREEMPTION_TIMER_SHIFT_MASK |
4ec855
+         MSR_VMX_MISC_MAX_MSR_LIST_SIZE_MASK);
4ec855
+
4ec855
+    /*
4ec855
+     * EPT memory types should not change either, so we do not bother
4ec855
+     * adding features for them.
4ec855
+     */
4ec855
+    uint64_t fixed_vmx_ept_mask =
4ec855
+            (f[FEAT_VMX_SECONDARY_CTLS] & VMX_SECONDARY_EXEC_ENABLE_EPT ?
4ec855
+             MSR_VMX_EPT_UC | MSR_VMX_EPT_WB : 0);
4ec855
+    uint64_t fixed_vmx_ept_vpid = kvm_vmx_ept_vpid & fixed_vmx_ept_mask;
4ec855
+
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_TRUE_PROCBASED_CTLS,
4ec855
+                      make_vmx_msr_value(MSR_IA32_VMX_TRUE_PROCBASED_CTLS,
4ec855
+                                         f[FEAT_VMX_PROCBASED_CTLS]));
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_TRUE_PINBASED_CTLS,
4ec855
+                      make_vmx_msr_value(MSR_IA32_VMX_TRUE_PINBASED_CTLS,
4ec855
+                                         f[FEAT_VMX_PINBASED_CTLS]));
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_TRUE_EXIT_CTLS,
4ec855
+                      make_vmx_msr_value(MSR_IA32_VMX_TRUE_EXIT_CTLS,
4ec855
+                                         f[FEAT_VMX_EXIT_CTLS]) | fixed_vmx_exit);
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_TRUE_ENTRY_CTLS,
4ec855
+                      make_vmx_msr_value(MSR_IA32_VMX_TRUE_ENTRY_CTLS,
4ec855
+                                         f[FEAT_VMX_ENTRY_CTLS]));
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_PROCBASED_CTLS2,
4ec855
+                      make_vmx_msr_value(MSR_IA32_VMX_PROCBASED_CTLS2,
4ec855
+                                         f[FEAT_VMX_SECONDARY_CTLS]));
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_EPT_VPID_CAP,
4ec855
+                      f[FEAT_VMX_EPT_VPID_CAPS] | fixed_vmx_ept_vpid);
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_BASIC,
4ec855
+                      f[FEAT_VMX_BASIC] | fixed_vmx_basic);
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_MISC,
4ec855
+                      f[FEAT_VMX_MISC] | fixed_vmx_misc);
4ec855
+    if (has_msr_vmx_vmfunc) {
4ec855
+        kvm_msr_entry_add(cpu, MSR_IA32_VMX_VMFUNC, f[FEAT_VMX_VMFUNC]);
4ec855
+    }
4ec855
+
4ec855
+    /*
4ec855
+     * Just to be safe, write these with constant values.  The CRn_FIXED1
4ec855
+     * MSRs are generated by KVM based on the vCPU's CPUID.
4ec855
+     */
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_CR0_FIXED0,
4ec855
+                      CR0_PE_MASK | CR0_PG_MASK | CR0_NE_MASK);
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_CR4_FIXED0,
4ec855
+                      CR4_VMXE_MASK);
4ec855
+    kvm_msr_entry_add(cpu, MSR_IA32_VMX_VMCS_ENUM,
4ec855
+                      VMCS12_MAX_FIELD_INDEX << 1);
4ec855
+}
4ec855
+
4ec855
 static int kvm_put_msrs(X86CPU *cpu, int level)
4ec855
 {
4ec855
     CPUX86State *env = &cpu->env;
4ec855
@@ -2112,7 +2261,16 @@ static int kvm_put_msrs(X86CPU *cpu, int level)
4ec855
 
4ec855
         /* Note: MSR_IA32_FEATURE_CONTROL is written separately, see
4ec855
          *       kvm_put_msr_feature_control. */
4ec855
+
4ec855
+        /*
4ec855
+         * Older kernels do not include VMX MSRs in KVM_GET_MSR_INDEX_LIST, but
4ec855
+         * all kernels with MSR features should have them.
4ec855
+         */
4ec855
+        if (kvm_feature_msrs && cpu_has_vmx(env)) {
4ec855
+            kvm_msr_entry_add_vmx(cpu, env->features);
4ec855
+        }
4ec855
     }
4ec855
+
4ec855
     if (env->mcg_cap) {
4ec855
         int i;
4ec855
 
4ec855
-- 
4ec855
1.8.3.1
4ec855