Constant DT_ADDRRNGHI

pub const DT_ADDRRNGHI: u64 = 0x6fff_feff;