Constant FUTEX_LOCK_PI2

Source
pub const FUTEX_LOCK_PI2: u32 = 13;