Constant esp_idf_sys::configINITIAL_TICK_COUNT

pub const configINITIAL_TICK_COUNT: u32 = 0;