Constant FUTEX_UNLOCK_PI 

pub const FUTEX_UNLOCK_PI: c_int = 7;