Constant FUTEX_CMP_REQUEUE_PI 

pub const FUTEX_CMP_REQUEUE_PI: c_int = 12;