pub const MSR_MCG_RFLAGS: u32 = 0x188;
Machine Check EFLAGS/RFLAG Save State See Section 15.3.2.6, IA32_MCG Extended Machine Check State MSRs.