Constant esp_idf_sys::configTICK_RATE_HZ

pub const configTICK_RATE_HZ: u32 = 100;