Constant CONFIG_TCP_SND_BUF_DEFAULT 

pub const CONFIG_TCP_SND_BUF_DEFAULT: u32 = 5760;