[][src]Constant x86::msr::IA32_MC3_CTL

pub const IA32_MC3_CTL: u32 = 0x40c;

See Section 15.3.2.1, IA32_MCi_CTL MSRs.