Constant sgx_libc::FUTEX_REQUEUE

pub const FUTEX_REQUEUE: i32 = 3;