atomic_and_ulong_nv
atomic_op_alias(atomic_and_ulong_nv,_atomic_and_32_nv)
atomic_op_alias(atomic_and_ulong_nv,_atomic_and_64_nv)
if (atomic_and_ulong_nv(&tlb_pending, ~(1UL << ci->ci_cpuid)) == 0) {
ATF_TP_ADD_TC(tp, atomic_and_ulong_nv);
atf_and_nv(atomic_and_ulong_nv, unsigned long, "lx");