pub const MSR_MTRRfix16K_80000: c_uint = 0x00000258;