Constant FUTEX_LOCK_PI2 

pub const FUTEX_LOCK_PI2: i32 = 13;