Constant sgx_libc::FUTEX_CMP_REQUEUE

pub const FUTEX_CMP_REQUEUE: i32 = 4;