u64 cpu_based_3rd_exec_ctrl;
        u32 vmexit_ctrl;
        u32 vmentry_ctrl;
+       u64 misc;
        struct nested_vmx_msrs nested;
 };
 extern struct vmcs_config vmcs_config;
 
 static inline bool cpu_has_vmx_shadow_vmcs(void)
 {
-       u64 vmx_msr;
-
        /* check if the cpu supports writing r/o exit information fields */
-       rdmsrl(MSR_IA32_VMX_MISC, vmx_msr);
-       if (!(vmx_msr & MSR_IA32_VMX_MISC_VMWRITE_SHADOW_RO_FIELDS))
+       if (!(vmcs_config.misc & MSR_IA32_VMX_MISC_VMWRITE_SHADOW_RO_FIELDS))
                return false;
 
        return vmcs_config.cpu_based_2nd_exec_ctrl &
 
 static inline bool cpu_has_vmx_intel_pt(void)
 {
-       u64 vmx_msr;
-
-       rdmsrl(MSR_IA32_VMX_MISC, vmx_msr);
-       return (vmx_msr & MSR_IA32_VMX_MISC_INTEL_PT) &&
+       return (vmcs_config.misc & MSR_IA32_VMX_MISC_INTEL_PT) &&
                (vmcs_config.cpu_based_2nd_exec_ctrl & SECONDARY_EXEC_PT_USE_GPA) &&
                (vmcs_config.vmentry_ctrl & VM_ENTRY_LOAD_IA32_RTIT_CTL);
 }
 
        u64 _cpu_based_3rd_exec_control = 0;
        u32 _vmexit_control = 0;
        u32 _vmentry_control = 0;
+       u64 misc_msr;
        int i;
 
        /*
        if (((vmx_msr_high >> 18) & 15) != 6)
                return -EIO;
 
+       rdmsrl(MSR_IA32_VMX_MISC, misc_msr);
+
        vmcs_conf->size = vmx_msr_high & 0x1fff;
        vmcs_conf->basic_cap = vmx_msr_high & ~0x1fff;
 
        vmcs_conf->cpu_based_3rd_exec_ctrl = _cpu_based_3rd_exec_control;
        vmcs_conf->vmexit_ctrl         = _vmexit_control;
        vmcs_conf->vmentry_ctrl        = _vmentry_control;
+       vmcs_conf->misc = misc_msr;
 
        return 0;
 }
 
        if (enable_preemption_timer) {
                u64 use_timer_freq = 5000ULL * 1000 * 1000;
-               u64 vmx_msr;
 
-               rdmsrl(MSR_IA32_VMX_MISC, vmx_msr);
                cpu_preemption_timer_multi =
-                       vmx_msr & VMX_MISC_PREEMPTION_TIMER_RATE_MASK;
+                       vmcs_config.misc & VMX_MISC_PREEMPTION_TIMER_RATE_MASK;
 
                if (tsc_khz)
                        use_timer_freq = (u64)tsc_khz * 1000;