1cat <<EOF
2/**
3 * ${class}${atomicname}() - atomic decrement if positive with ${desc_order} ordering
4 * @v: pointer to ${atomic}_t
5 *
6 * If (@v > 0), atomically updates @v to (@v - 1) with ${desc_order} ordering.
7 *
8 * ${desc_noinstr}
9 *
10 * Return: @true if @v was updated, @false otherwise.
11 */
12EOF
13