atomic_and_uint_nv
atomic_op_alias(atomic_and_uint_nv,_atomic_and_32_nv)
ATF_TP_ADD_TC(tp, atomic_and_uint_nv);
atf_and_nv(atomic_and_uint_nv, unsigned int, "x");