Constant seL4_MaxUntypedBits 

pub const seL4_MaxUntypedBits: u32 = 47;