MSR_IA32_MCU_OPT_CTRL  431 arch/x86/kernel/cpu/bugs.c 	rdmsrl(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
MSR_IA32_MCU_OPT_CTRL  445 arch/x86/kernel/cpu/bugs.c 	wrmsrl(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);