|
@@ -6547,7 +6547,6 @@ static __init int hardware_setup(void)
|
|
|
vmx_disable_intercept_for_msr(MSR_IA32_SYSENTER_CS, false);
|
|
vmx_disable_intercept_for_msr(MSR_IA32_SYSENTER_CS, false);
|
|
|
vmx_disable_intercept_for_msr(MSR_IA32_SYSENTER_ESP, false);
|
|
vmx_disable_intercept_for_msr(MSR_IA32_SYSENTER_ESP, false);
|
|
|
vmx_disable_intercept_for_msr(MSR_IA32_SYSENTER_EIP, false);
|
|
vmx_disable_intercept_for_msr(MSR_IA32_SYSENTER_EIP, false);
|
|
|
- vmx_disable_intercept_for_msr(MSR_IA32_BNDCFGS, true);
|
|
|
|
|
|
|
|
|
|
memcpy(vmx_msr_bitmap_legacy_x2apic_apicv,
|
|
memcpy(vmx_msr_bitmap_legacy_x2apic_apicv,
|
|
|
vmx_msr_bitmap_legacy, PAGE_SIZE);
|
|
vmx_msr_bitmap_legacy, PAGE_SIZE);
|