Constant sel4_sys::priorityConstants::seL4_MaxPrio

pub const seL4_MaxPrio: Type = 255;