esp_idf_sys

Constant CONFIG_TCP_WND_DEFAULT

Source 
pub const CONFIG_TCP_WND_DEFAULT: u32 = 5760;