Constant sgx_libc::DCCP_SOCKOPT_SERVER_TIMEWAIT

pub const DCCP_SOCKOPT_SERVER_TIMEWAIT: i32 = 6;