cat <<EOFstatic __always_inline voidarch_${atomic}_set_release(${atomic}_t *v, ${int} i){	smp_store_release(&(v)->counter, i);}EOF