Constant MSR_F16H_DR2_ADDR_MASK 

pub const MSR_F16H_DR2_ADDR_MASK: u32 = 0xc001101a;