atomic_and_64_nv
atomic_op_alias(atomic_and_64_nv,_atomic_and_64_nv)
atf_and_nv(atomic_and_64_nv, uint64_t, PRIx64);
ATF_TP_ADD_TC(tp, atomic_and_64_nv);