MSR_AMD64_SMCA_MCx_STATUS
wrmsrq(MSR_AMD64_SMCA_MCx_STATUS(b), m.status);
case MCA_STATUS: return MSR_AMD64_SMCA_MCx_STATUS(bank);