dec_unless_positive

cat <<EOF
	${int} c = raw_${atomic}_read(v);

	do {
		if (unlikely(c > 0))
			return false;
	} while (!raw_${atomic}_try_cmpxchg(v, &c, c - 1));

	return true;
EOF