Constant USER_TOP 

pub const USER_TOP: usize = 0x0000_003f_ffff_ffff;