esp_idf_sys

Constant CONFIG_SOC_GPTIMER_SUPPORTED

Source 
pub const CONFIG_SOC_GPTIMER_SUPPORTED: u32 = 1;