Constant X86X_MSR_MTRR_FIX16K_80000

pub const X86X_MSR_MTRR_FIX16K_80000: u32 = 0x0258;