Constant seL4_MsgExtraCapBits 

pub const seL4_MsgExtraCapBits: Type = 2;