sel4_sys::priorityConstants

Constant seL4_InvalidPrio

Source 
pub const seL4_InvalidPrio: Type = -1;