Constant sgx_libc::FUTEX_CMP_REQUEUE_PI

pub const FUTEX_CMP_REQUEUE_PI: i32 = 12;