atomic_or_64_nv
atomic_op_alias(atomic_or_64_nv,_atomic_or_64_nv)
atf_or_nv(atomic_or_64_nv, uint64_t, PRIx64);
ATF_TP_ADD_TC(tp, atomic_or_64_nv);