Constant FUTEX_WAIT_REQUEUE_PI 

pub const FUTEX_WAIT_REQUEUE_PI: u32 = 11;