pub const MSR_MC13_ADDR: u32 = 0x436;
Expand description

See Section 15.3.2.3, IA32_MCi_ADDR MSRs.