cat <<EOF
static __always_inline ${ret}
${arch}${atomic}_read_acquire(const ${atomic}_t *v)
{
	return smp_load_acquire(&(v)->counter);
}
EOF