MSR_IA32_MCx_ADDR
wrmsrq(MSR_IA32_MCx_ADDR(b), m.addr);
case MCA_ADDR: return MSR_IA32_MCx_ADDR(bank);
ucna_addr2 = rdmsr(MSR_IA32_MCx_ADDR(UCNA_BANK));
i_ucna_addr = rdmsr(MSR_IA32_MCx_ADDR(UCNA_BANK));
ucna_addr = rdmsr(MSR_IA32_MCx_ADDR(UCNA_BANK));