MSR_IA32_MCG_CTL
wrmsr(MSR_IA32_MCG_CTL, 0xffffffff, 0xffffffff);
case MSR_IA32_MCG_CTL:
case MSR_IA32_MCG_CTL:
case MSR_IA32_MCG_CTL:
MSR_IA32_MCG_CTL,
case MSR_IA32_MCG_CTL:
case MSR_IA32_MCG_CTL:
rdmsr_on_cpus(mask, MSR_IA32_MCG_CTL, msrs);
rdmsr_on_cpus(cmask, MSR_IA32_MCG_CTL, msrs);
wrmsr_on_cpus(cmask, MSR_IA32_MCG_CTL, msrs);
MSR_IA32_MCG_CTL, nid);