sel4_sys::seL4_MsgLimits

Constant seL4_MsgExtraCapBits

Source 
pub const seL4_MsgExtraCapBits: Type = 2;