esp_idf_sys

Constant CONFIG_SOC_TIMER_GROUP_TOTAL_TIMERS

Source 
pub const CONFIG_SOC_TIMER_GROUP_TOTAL_TIMERS: u32 = 4;