MCA_MISC
err = allocate_threshold_blocks(cpu, b, bank, 0, mca_msr_reg(bank, MCA_MISC));
addr = mca_msr_reg(bank, MCA_MISC);
if (msr == mca_msr_reg(bank, MCA_MISC))
m->misc = mce_rdmsrq(mca_msr_reg(i, MCA_MISC));
case MCA_MISC: return MSR_AMD64_SMCA_MCx_MISC(bank);
case MCA_MISC: return MSR_IA32_MCx_MISC(bank);