i386_atomic_clearbits_l
i386_atomic_clearbits_l(&ptes[ptei(pve->pv_va)],
i386_atomic_clearbits_l(spte,
i386_atomic_clearbits_l(&ptes[atop(va)], PG_W);
#define atomic_clearbits_int i386_atomic_clearbits_l