Constant FUTEX_ROBUST_UNLOCK 

pub const FUTEX_ROBUST_UNLOCK: c_int = 512;