Constant X86X_MSR_MTRR_FIX4K_C8000 

pub const X86X_MSR_MTRR_FIX4K_C8000: u32 = 0x0269;