|
@@ -3524,7 +3524,8 @@ static int vmx_get_msr(struct kvm_vcpu *vcpu, struct msr_data *msr_info)
|
|
|
case MSR_IA32_SPEC_CTRL:
|
|
|
if (!msr_info->host_initiated &&
|
|
|
!guest_cpuid_has(vcpu, X86_FEATURE_IBRS) &&
|
|
|
- !guest_cpuid_has(vcpu, X86_FEATURE_SPEC_CTRL))
|
|
|
+ !guest_cpuid_has(vcpu, X86_FEATURE_SPEC_CTRL) &&
|
|
|
+ !guest_cpuid_has(vcpu, X86_FEATURE_RDS))
|
|
|
return 1;
|
|
|
|
|
|
msr_info->data = to_vmx(vcpu)->spec_ctrl;
|
|
@@ -3643,11 +3644,12 @@ static int vmx_set_msr(struct kvm_vcpu *vcpu, struct msr_data *msr_info)
|
|
|
case MSR_IA32_SPEC_CTRL:
|
|
|
if (!msr_info->host_initiated &&
|
|
|
!guest_cpuid_has(vcpu, X86_FEATURE_IBRS) &&
|
|
|
- !guest_cpuid_has(vcpu, X86_FEATURE_SPEC_CTRL))
|
|
|
+ !guest_cpuid_has(vcpu, X86_FEATURE_SPEC_CTRL) &&
|
|
|
+ !guest_cpuid_has(vcpu, X86_FEATURE_RDS))
|
|
|
return 1;
|
|
|
|
|
|
/* The STIBP bit doesn't fault even if it's not advertised */
|
|
|
- if (data & ~(SPEC_CTRL_IBRS | SPEC_CTRL_STIBP))
|
|
|
+ if (data & ~(SPEC_CTRL_IBRS | SPEC_CTRL_STIBP | SPEC_CTRL_RDS))
|
|
|
return 1;
|
|
|
|
|
|
vmx->spec_ctrl = data;
|