Constant sgx_oc::linux::x86_64::FUTEX_CLOCK_REALTIME

pub const FUTEX_CLOCK_REALTIME: c_int = 256;