pub const DT_ADDRRNGHI: u64 = 0x6fff_feff;
Expand description