Constant sgx_libc::DCCP_SOCKOPT_CCID_RX_INFO

pub const DCCP_SOCKOPT_CCID_RX_INFO: i32 = 128;