Constant FUTEX_UNLOCK_PI 

pub const FUTEX_UNLOCK_PI: i32 = 7;