DS_FORM_CONSTRAINT
__asm__ __volatile__("ld%U1%X1 %0,%1" : "=r"(t) : DS_FORM_CONSTRAINT (v->counter));
__asm__ __volatile__("std%U0%X0 %1,%0" : "=" DS_FORM_CONSTRAINT (v->counter) : "r"(i));
: "r" (x), DS_FORM_CONSTRAINT (*addr) \
: DS_FORM_CONSTRAINT (*addr) \