MSR_AMD64_SMCA_MCx_IPID
if (rdmsr_safe(MSR_AMD64_SMCA_MCx_IPID(bank), &low, &high)) {
m->ipid = mce_rdmsrq(MSR_AMD64_SMCA_MCx_IPID(i));
if (rdmsrq_on_cpu(m->extcpu, MSR_AMD64_SMCA_MCx_IPID(val), &ipid)) {
rdmsrq(MSR_AMD64_SMCA_MCx_IPID(bank), ipid);