Constant sgx_libc::FUTEX_WAKE_BITSET

pub const FUTEX_WAKE_BITSET: i32 = 10;