atomic_add_64_nv
atomic_op_alias(atomic_add_64_nv,_atomic_add_64_nv)
return (void *)atomic_add_64_nv((volatile uint64_t *)ptr, delta);
return atomic_add_64_nv(addr, -1);
return atomic_add_64_nv(addr, 1);
atf_add_nv(atomic_add_64_nv, uint64_t, int64_t, "0x%" PRIx64);
ATF_TP_ADD_TC(tp, atomic_add_64_nv);