i386_atomic_testset_ul
pending = i386_atomic_testset_ul(&ci->ci_ipis, 0);
i386_atomic_testset_ul(pte, npte);
i386_atomic_testset_ul(&PDE(pm, pdei(va)), 0);
i386_atomic_testset_ul(&pva_intel[pdei(va)], 0);
opte = i386_atomic_testset_ul(pte, 0);
opte = i386_atomic_testset_ul(&ptes[atop(pve->pv_va)], 0);
opte = i386_atomic_testset_ul(&ptes[atop(va)], npte);
pte = i386_atomic_testset_ul(ptep, pa | bits); /* zap! */