Constant sgx_libc::IPPROTO_TCP

pub const IPPROTO_TCP: i32 = 6;