pub const MSR_MC7_CTL: u32 = 0x41c;
Expand description

See Section 15.3.2.1, IA32_MCi_CTL MSRs.