Constant sgx_libc::FUTEX_PRIVATE_FLAG

pub const FUTEX_PRIVATE_FLAG: i32 = 128;