Il 10/07/2014 11:31, Matthias Lange ha scritto:
MC4_MISC0 (0x413) is handled in kvm_get_msr_common by this statement
case MSR_IA32_MC0_CTL ... MSR_IA32_MC0_CTL + 4 * KVM_MAX_MCE_BANKS - 1:
return get_msr_mce(vcpu, msr, pdata);
and get_msr_mce returns a sane value from the vcpu mce_banks.
Can you please add the MSR name to a .h file instead, and handle it in
get_msr_mce?
Paolo
--
To unsubscribe from this list: send the line "unsubscribe kvm" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
