Constant sel4_sys::seL4_UserTop

pub const seL4_UserTop: u64 = 1099511627775;