Constant sgx_libc::TCP_SYNCNT

pub const TCP_SYNCNT: i32 = 7;