Constant sgx_libc::FUTEX_CLOCK_REALTIME

pub const FUTEX_CLOCK_REALTIME: i32 = 256;