atomic_cas_uint_ni
atomic_op_alias(atomic_cas_uint_ni,_atomic_cas_32_a0)
atomic_op_alias(atomic_cas_uint_ni,_atomic_cas_32)
__strong_alias(atomic_cas_uint_ni, _atomic_cas_uint)
atomic_op_alias(atomic_cas_uint_ni,_atomic_cas_32)
__strong_alias(atomic_cas_uint_ni,rump_cas_32_up)
ATF_TP_ADD_TC(tp, atomic_cas_uint_ni);
atf_cas(atomic_cas_uint_ni, unsigned int, "0x%x");