Constant FUTEX_PING_PONG_SPIN_ITERS 

pub const FUTEX_PING_PONG_SPIN_ITERS: u64 = 1024;