Constant sgx_libc::FUTEX_WAIT

pub const FUTEX_WAIT: i32 = 0;