Constant seL4_MsgMaxLength 

pub const seL4_MsgMaxLength: Type = 120;