esp_idf_sys

Constant timer_idx_t_TIMER_MAX

Source 
pub const timer_idx_t_TIMER_MAX: timer_idx_t = 2;