Constant X86X_MSR_MTRR_FIX16K_A0000 

pub const X86X_MSR_MTRR_FIX16K_A0000: u32 = 0x0259;