PTE_SYNC
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep + j);
PTE_SYNC(ptep + j);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(cleanlist[cnt].ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(npm->pm_pl1vec);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(cdst_pte);
PTE_SYNC(cdst_pte);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(src_ptep);
PTE_SYNC(dst_ptep);
PTE_SYNC(src_ptep);
PTE_SYNC(dst_ptep);
PTE_SYNC(csrc_pte);
PTE_SYNC(cdst_pte);
PTE_SYNC(csrc_pte);
PTE_SYNC(cdst_pte);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(pde);
PTE_SYNC(pte);
PTE_SYNC(pde);
PTE_SYNC(pte);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);