IA32_MSR_MC_CTL2
(void) cmi_hdl_rdmsr(hdl, IA32_MSR_MC_CTL2(i), &ctl2);
(void) cmi_hdl_wrmsr(hdl, IA32_MSR_MC_CTL2(i), ctl2);
(void) cmi_hdl_rdmsr(hdl, IA32_MSR_MC_CTL2(i), &ctl2);
(void) cmi_hdl_wrmsr(hdl, IA32_MSR_MC_CTL2(i), ctl2);
IA32_MSR_MC_CTL2(bank), &ctl2);
IA32_MSR_MC_CTL2(bank), ctl2);
(void) cmi_hdl_rdmsr(hdl, IA32_MSR_MC_CTL2(bank),
(void) cmi_hdl_wrmsr(hdl, IA32_MSR_MC_CTL2(bank),
(void) cmi_hdl_rdmsr(hdl, IA32_MSR_MC_CTL2(i),
(void) cmi_hdl_wrmsr(hdl, IA32_MSR_MC_CTL2(i),