Constant DT_ADDRRNGHI 

pub const DT_ADDRRNGHI: u32 = 0x6fff_feff;