Constant FUTEX_CMP_REQUEUE_PI 

pub const FUTEX_CMP_REQUEUE_PI: u32 = 12;