Constant sel4_sys::seL4_MaxUntypedBits

pub const seL4_MaxUntypedBits: u32 = 47;