Constant sgx_libc::FUTEX_WAIT_BITSET

pub const FUTEX_WAIT_BITSET: i32 = 9;