MSR_IA32_MCG_EXT_CTL
rdmsrq(MSR_IA32_MCG_EXT_CTL, val);
wrmsrq(MSR_IA32_MCG_EXT_CTL, val | MCG_EXT_CTL_LMCE_EN);
rdmsrq(MSR_IA32_MCG_EXT_CTL, val);
wrmsrq(MSR_IA32_MCG_EXT_CTL, val);
case MSR_IA32_MCG_EXT_CTL:
case MSR_IA32_MCG_EXT_CTL:
case MSR_IA32_MCG_EXT_CTL:
case MSR_IA32_MCG_EXT_CTL:
case MSR_IA32_MCG_EXT_CTL:
case MSR_IA32_MCG_EXT_CTL:
MSR_IA32_MCG_EXT_CTL,