|
@@ -359,6 +359,9 @@ static int vmx_get_msr(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata)
|
|
|
case MSR_IA32_SYSENTER_ESP:
|
|
|
data = vmcs_read32(GUEST_SYSENTER_ESP);
|
|
|
break;
|
|
|
+ case 0xc0010010: /* SYSCFG */
|
|
|
+ case 0xc0010015: /* HWCR */
|
|
|
+ case MSR_IA32_PLATFORM_ID:
|
|
|
case MSR_IA32_P5_MC_ADDR:
|
|
|
case MSR_IA32_P5_MC_TYPE:
|
|
|
case MSR_IA32_MC0_CTL:
|