MSR_AMD64_SMCA_MCx_MISC
return MSR_AMD64_SMCA_MCx_MISC(bank);
msrs[0] = MSR_AMD64_SMCA_MCx_MISC(bank);
wrmsrq(MSR_AMD64_SMCA_MCx_MISC(b), m.misc);
case MCA_MISC: return MSR_AMD64_SMCA_MCx_MISC(bank);