Constant sgx_libc::FUTEX_WAKE

pub const FUTEX_WAKE: i32 = 1;