PTE_SYNC_CURRENT
PTE_SYNC_CURRENT(pv->pv_pmap, ptep);
PTE_SYNC_CURRENT(pv->pv_pmap, ptep);
PTE_SYNC_CURRENT(pv->pv_pmap, ptep);
PTE_SYNC_CURRENT(pm, ptep);
PTE_SYNC_CURRENT(pm, ptep);
PTE_SYNC_CURRENT(pm, cleanlist[cnt].ptep);