Constant sgx_libc::TCP_INFO

pub const TCP_INFO: i32 = 11;