|
@@ -2484,6 +2484,9 @@ static int vmx_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata)
|
|
|
case MSR_IA32_SYSENTER_ESP:
|
|
|
data = vmcs_readl(GUEST_SYSENTER_ESP);
|
|
|
break;
|
|
|
+ case MSR_IA32_BNDCFGS:
|
|
|
+ data = vmcs_read64(GUEST_BNDCFGS);
|
|
|
+ break;
|
|
|
case MSR_IA32_FEATURE_CONTROL:
|
|
|
if (!nested_vmx_allowed(vcpu))
|
|
|
return 1;
|
|
@@ -2552,6 +2555,9 @@ static int vmx_set_msr(struct kvm_vcpu *vcpu, struct msr_data *msr_info)
|
|
|
case MSR_IA32_SYSENTER_ESP:
|
|
|
vmcs_writel(GUEST_SYSENTER_ESP, data);
|
|
|
break;
|
|
|
+ case MSR_IA32_BNDCFGS:
|
|
|
+ vmcs_write64(GUEST_BNDCFGS, data);
|
|
|
+ break;
|
|
|
case MSR_IA32_TSC:
|
|
|
kvm_write_tsc(vcpu, msr_info);
|
|
|
break;
|