Constant seL4_UserVSpaceTop 

pub const seL4_UserVSpaceTop: u32 = 2147483647;