esp_idf_hal::sys

Constant timer_idx_t_TIMER_MAX

Source 
pub const timer_idx_t_TIMER_MAX: u32 = 1; // 1u32