esp_idf_svc::hal::sys

Constant CONFIG_LWIP_TCP_WND_DEFAULT

Source 
pub const CONFIG_LWIP_TCP_WND_DEFAULT: u32 = 5760; // 5_760u32