esp_idf_sys

Constant CONFIG_FREERTOS_TICK_SUPPORT_CORETIMER

Source 
pub const CONFIG_FREERTOS_TICK_SUPPORT_CORETIMER: u32 = 1;