Constant FUTEX_CMP_REQUEUE_PI 

pub const FUTEX_CMP_REQUEUE_PI: i32 = 12;