esp_idf_sys

Constant configMAX_PRIORITIES

Source 
pub const configMAX_PRIORITIES: u32 = 25;