Constant FUTEX_WAIT_REQUEUE_PI 

pub const FUTEX_WAIT_REQUEUE_PI: c_int = 11;