MSR_AMD64_SMCA_MCx_SYND
m->synd = mce_rdmsrq(MSR_AMD64_SMCA_MCx_SYND(i));
wrmsrq(MSR_AMD64_SMCA_MCx_SYND(b), m.synd);