MCA_CTL
wrmsrq(mca_msr_reg(i, MCA_CTL), b->ctl);
rdmsrq(mca_msr_reg(i, MCA_CTL), msrval);
wrmsrq(mca_msr_reg(i, MCA_CTL), 0);
wrmsrq(mca_msr_reg(i, MCA_CTL), b->ctl);
case MCA_CTL: return MSR_AMD64_SMCA_MCx_CTL(bank);
case MCA_CTL: return MSR_IA32_MCx_CTL(bank);