atomic_dec_64
atomic_op_alias(atomic_dec_64,_atomic_dec_64)
atomic_op_alias(atomic_dec_64,_atomic_dec_64)
ATF_TP_ADD_TC(tp, atomic_dec_64);
atf_dec(atomic_dec_64, uint64_t, "0x%" PRIx64);