Constant sgx_libc::SOCK_DCCP

pub const SOCK_DCCP: i32 = 6;