pub const DT_ADDRRNGHI: u32 = 0x6fff_feff;