sel4_sys::priorityConstants

Constant seL4_MinPrio

Source 
pub const seL4_MinPrio: Type = 0;