Constant sgx_libc::DCCP_SOCKOPT_TX_CCID

pub const DCCP_SOCKOPT_TX_CCID: i32 = 14;