Constant ATOMIC_COUNTER_BARRIER_BIT

pub const ATOMIC_COUNTER_BARRIER_BIT: u32 = 0x00001000;