Constant sgx_libc::DCCP_SOCKOPT_AVAILABLE_CCIDS

pub const DCCP_SOCKOPT_AVAILABLE_CCIDS: i32 = 12;