Constant sel4_sys::seL4_MsgLimits::seL4_MsgExtraCapBits

source ยท
pub const seL4_MsgExtraCapBits: Type = 2;