Constant TCP_MAX_WINSHIFT

Source
pub const TCP_MAX_WINSHIFT: u32 = 14; // 14u32