x86::msr::MSR_MCG_R13 [] [src]

pub const MSR_MCG_R13: u32 = 405

Machine Check R13 See Section 15.3.2.6, IA32_MCG Extended Machine Check State MSRs.