Constant sgx_libc::FUTEX_FD

pub const FUTEX_FD: i32 = 2;