Constant seL4_TruncatedMessage

pub const seL4_TruncatedMessage: Type = 7;