sel4_sys::seL4_MsgLimits

Constant seL4_MsgLengthBits

Source 
pub const seL4_MsgLengthBits: Type = 7;