esp_idf_sys

Constant TCP_TMR_INTERVAL

Source 
pub const TCP_TMR_INTERVAL: u32 = 250;