pub const MSR_MTRRfix4K_C8000: u32 = 617;