pub const MSR_MCG_R11: u32 = 0x193;
Machine Check R11 See Section 15.3.2.6, IA32_MCG Extended Machine Check State MSRs.