Constant seL4_TruncatedMessage 

pub const seL4_TruncatedMessage: Type = 7;