x86::msr::MSR_MC17_ADDR [] [src]

pub const MSR_MC17_ADDR: u32 = 1094

See Section 15.3.2.3, IA32_MCi_ADDR MSRs.