MSR_IA32_MCU_OPT_CTRL
rdmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
wrmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
rdmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
rdmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
wrmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
rdmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl_after);
rdmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_ctrl);
rdmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_opt_ctrl);
wrmsrq(MSR_IA32_MCU_OPT_CTRL, mcu_opt_ctrl);
msr = native_rdmsrq(MSR_IA32_MCU_OPT_CTRL);
native_wrmsrq(MSR_IA32_MCU_OPT_CTRL, msr);
native_wrmsrq(MSR_IA32_MCU_OPT_CTRL, vmx->msr_ia32_mcu_opt_ctrl);
{ MSR_IA32_MCU_OPT_CTRL, X86_FEATURE_SRBDS_CTRL },