Constant sgx_oc::linux::x86_64::FUTEX_WAIT_REQUEUE_PI

pub const FUTEX_WAIT_REQUEUE_PI: c_int = 11;