Constant sgx_libc::FUTEX_WAKE_OP

pub const FUTEX_WAKE_OP: i32 = 5;