Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
break;
case MSR_IA32_MC4_MISC: /* Threshold register */
+ case MSR_F10_MC4_MISC1 ... MSR_F10_MC4_MISC3:
/*
* MCA/MCE: Threshold register is reported to be locked, so we ignore
* all write accesses. This behaviour matches real HW, so guests should
break;
case MSR_IA32_MC4_MISC: /* Threshold register */
+ case MSR_F10_MC4_MISC1 ... MSR_F10_MC4_MISC3:
/*
* MCA/MCE: We report that the threshold register is unavailable
* for OS use (locked by the BIOS).