Constant x86::msr::MSR_MC11_STATUS

pub const MSR_MC11_STATUS: u32 = 0x42d;

See Section 15.3.2.2, IA32_MCi_STATUS MSRS, and Chapter 16.