esp_idf_sys

Constant configINITIAL_TICK_COUNT

Source 
pub const configINITIAL_TICK_COUNT: u32 = 0;