Constant sgx_libc::TCP_REPAIR_QUEUE

pub const TCP_REPAIR_QUEUE: i32 = 20;