pub const MSR_MCG_R13: u32 = 0x195;
Machine Check R13 See Section 15.3.2.6, IA32_MCG Extended Machine Check State MSRs.