atomic_and_32_nv
atomic_op_alias(atomic_and_32_nv,_atomic_and_32_nv)
if (atomic_and_32_nv(&pic->pic_pending_ipls, ~ipl_mask) == 0)
ATF_TP_ADD_TC(tp, atomic_and_32_nv);
atf_and_nv(atomic_and_32_nv, uint32_t, PRIx32);