NUM_PRIORITIES

sel4_config::consts

Constant NUM_PRIORITIES 

Source 
pub const NUM_PRIORITIES: &str = "256";