atomic_add_32_nv
atomic_op_alias(atomic_add_32_nv,_atomic_add_32_nv)
return (void *)atomic_add_32_nv((volatile uint32_t *)ptr, (int32_t)delta);
return atomic_add_32_nv(addr, -1);
return atomic_add_32_nv(addr, 1);
wirecount = atomic_add_32_nv(&pg->wire_count, -1); /* 1 -> 0 */
wirecount = atomic_add_32_nv(&pg->wire_count, -1);
ATF_TP_ADD_TC(tp, atomic_add_32_nv);
atf_add_nv(atomic_add_32_nv, uint32_t, int32_t, "0x%" PRIx32);