Constant ID_MAP_START 

pub const ID_MAP_START: u64 = 0xffff_8000_0000_0000;