Constant sgx_libc::TCP_CORK

pub const TCP_CORK: i32 = 3;