esp_idf_sys

Constant SOC_TIMER_GROUP_TOTAL_TIMERS

Source 
pub const SOC_TIMER_GROUP_TOTAL_TIMERS: u32 = 4;