esp_idf_sys

Constant CONFIG_SOC_SYSTIMER_COUNTER_NUM

Source 
pub const CONFIG_SOC_SYSTIMER_COUNTER_NUM: u32 = 2;