pub const MSR_MTRRfix4K_C0000: u32 = 616;