pub const MSR_F16H_DR0_ADDR_MASK: c_uint = 0xc0011027;