Constant linux_raw_sys::general::FUTEX_LOCK_PI2

pub const FUTEX_LOCK_PI2: u32 = 13;