sel4_sys::priorityConstants

Constant seL4_MaxPrio

Source 
pub const seL4_MaxPrio: Type = 255;