atomic_add_32
atomic_op_alias(atomic_add_32,_atomic_add_32)
atomic_add_32(addr, -1);
atomic_add_32(addr, 1);
atomic_add_32(&imxclock_base, sc->sc_reload_value);
atomic_add_32(&ixpclk_base, ixpclk_sc->sc_coreclock_freq);
atomic_add_32(&s3c24x0_base, timer4_reload_value);
atomic_add_32(&s3c2800_base, timer0_reload_value);
atomic_add_32(&becc_base, counts_per_hz);
atomic_add_32(&ixpclk_base, counts_per_hz);
atomic_add_32(&ifpga_base, ifpga_sc->sc_clock_count);
atomic_add_32(&iq80310_base, counts_per_hz);
#define atomic_add_int atomic_add_32
atomic_add_32(&pmap_pa_end, PAGE_SIZE);
atomic_add_32(&pmap_pa_end, -PAGE_SIZE);
ATF_TP_ADD_TC(tp, atomic_add_32);
atf_add(atomic_add_32, uint32_t, int32_t, "0x%" PRIx32);