MSR_AMD64_SMCA_MCx_ADDR
wrmsrq(MSR_AMD64_SMCA_MCx_ADDR(b), m.addr);
case MCA_ADDR: return MSR_AMD64_SMCA_MCx_ADDR(bank);