atomic_dec_64_nv
atomic_op_alias(atomic_dec_64_nv,_atomic_dec_64_nv)
atomic_op_alias(atomic_dec_64_nv,_atomic_dec_64_nv)
return (void *)atomic_dec_64_nv((volatile uint64_t *)ptr);
if (atomic_dec_64_nv(&pmap->pm_refcount) > 0)
ATF_TP_ADD_TC(tp, atomic_dec_64_nv);
atf_dec_nv(atomic_dec_64_nv, uint64_t, "0x%" PRIx64);