This is as per Linux commit a331f5fdd36d ("x86/mce: Add Xeon Sapphire
Rapids to list of CPUs that support PPIN") just in case a subsequent
change making use of the respective new CPUID bit doesn't cover this
model.Signed-off-by: Jan Beulich <[email protected]> --- It is unclear to me whether this change is actually made obsolete by the subsequent one adding support for the respective new CPUID bit. It also continues to be unclear for which CPU models, if any, the PPIN_CAP bit in PLATFORM_INFO could be used in favor of a model check. --- v2: New. --- a/xen/arch/x86/cpu/mcheck/mce_intel.c +++ b/xen/arch/x86/cpu/mcheck/mce_intel.c @@ -873,6 +873,7 @@ static void intel_init_ppin(const struct case 0x57: /* Knights Landing */ case 0x6a: /* Icelake X */ case 0x85: /* Knights Mill */ + case 0x8f: /* Sapphire Rapids X */ if ( (c != &boot_cpu_data && !ppin_msr) || rdmsr_safe(MSR_PPIN_CTL, val) )
