esp_idf_sys

Constant _SC_SEM_VALUE_MAX

Source 
pub const _SC_SEM_VALUE_MAX: u32 = 17;