esp_idf_sys

Constant CONFIG_SOC_CCOMP_TIMER_SUPPORTED

Source 
pub const CONFIG_SOC_CCOMP_TIMER_SUPPORTED: u32 = 1;