atomic_inc_64_nv
atomic_op_alias(atomic_inc_64_nv,_atomic_inc_64_nv)
atomic_op_alias(atomic_inc_64_nv,_atomic_inc_64_nv)
return (void *)atomic_inc_64_nv((volatile uint64_t *)ptr);
return atomic_inc_64_nv(&wgs->wgs_send_counter) - 1;
ATF_TP_ADD_TC(tp, atomic_inc_64_nv);
atf_inc_nv(atomic_inc_64_nv, uint64_t, "0x%" PRIx64);