Constant USER_STACK_TOP

Source
pub const USER_STACK_TOP: usize = 0xffff_ffff_ffff_f000;