seL4_MinPrio

sel4_sys::priorityConstants

Constant seL4_MinPrio 

Source 
pub const seL4_MinPrio: Type = 0;