Constant sgx_libc::FUTEX_WAIT_REQUEUE_PI

pub const FUTEX_WAIT_REQUEUE_PI: i32 = 11;