Constant seL4_MsgLengthBits 

pub const seL4_MsgLengthBits: Type = 7;