Constant FUTEX_CLOCK_REALTIME 

pub const FUTEX_CLOCK_REALTIME: c_int = 256;