Constant FUTEX_LOCK_PI2 

pub const FUTEX_LOCK_PI2: c_int = 13;