Constant seL4_UserVSpaceTop 

pub const seL4_UserVSpaceTop: u64 = 1099511627775;