IA32_MSR_MCG_STATUS
(void) cmi_hdl_wrmsr(hdl, IA32_MSR_MCG_STATUS, 0ULL);
if (cmi_hdl_rdmsr(hdl, IA32_MSR_MCG_STATUS, &mcg_status) !=
(void) cmi_hdl_wrmsr(hdl, IA32_MSR_MCG_STATUS, 0);
if (cmi_hdl_rdmsr(hdl, IA32_MSR_MCG_STATUS, &mcg_status) !=
(msr) == IA32_MSR_MCG_STATUS)
gsr.cmr_msrnum = IA32_MSR_MCG_STATUS;