ptei
(ptei(vm,va) * sizeof(ptd_entry_t));
pte = ptes[ptei(pve->pv_va)];
opte = ptes[ptei(pve->pv_va)];
i386_atomic_clearbits_l(&ptes[ptei(pve->pv_va)],
l1idx = ptei(va);
pte = ptes[ptei(pve->pv_va)];
opte = ptes[ptei(pve->pv_va)];
&ptes[ptei(pve->pv_va)], npte);
l1idx = ptei(va);