esp_idf_sys

Constant configTICK_RATE_HZ

Source 
pub const configTICK_RATE_HZ: u32 = 100;