atomic_or_uint_nv
atomic_op_alias(atomic_or_uint_nv,_atomic_or_32_nv)
ATF_TP_ADD_TC(tp, atomic_or_uint_nv);
atf_or_nv(atomic_or_uint_nv, unsigned int, "x");