x86::msr::MSR_MCG_RDX [] [src]

pub const MSR_MCG_RDX: u32 = 387

Machine Check EDX/RDX Save State See Section 15.3.2.6, IA32_MCG Extended Machine Check State MSRs.