Constant x86::msr::MSR_MC17_CTL[][src]

pub const MSR_MC17_CTL: u32 = 0x444;

See Section 15.3.2.1, IA32_MCi_CTL MSRs.