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