Constant sel4_sys::priorityConstants::seL4_InvalidPrio

pub const seL4_InvalidPrio: Type = -1;