seL4_MaxPrio

sel4_sys::priorityConstants

Constant seL4_MaxPrio 

Source 
pub const seL4_MaxPrio: Type = 255;