MSR_AMD64_SMCA_MCx_DESTAT
mce_wrmsrq(MSR_AMD64_SMCA_MCx_DESTAT(m->bank), 0);
m->status = mce_rdmsrq(MSR_AMD64_SMCA_MCx_DESTAT(m->bank));
wrmsrq(MSR_AMD64_SMCA_MCx_DESTAT(b), m.status);