Constant X86X_MSR_MTRR_FIX64K_00000 

pub const X86X_MSR_MTRR_FIX64K_00000: u32 = 0x0250;