Constant seL4_InvalidPrio 

pub const seL4_InvalidPrio: Type = -1;