Constant seL4_InvalidArgument 

pub const seL4_InvalidArgument: Type = 1;