MSR_IA32_MCx_MISC
wrmsrq(MSR_IA32_MCx_MISC(b), m.misc);
case MCA_MISC: return MSR_IA32_MCx_MISC(bank);