esp_idf_sys

Constant TCP_WND

Source 
pub const TCP_WND: u32 = 5760;