PTE_SYNC
PTE_SYNC(pde);
PTE_SYNC(pte);
PTE_SYNC(pde);
PTE_SYNC(pte);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(pl1pd);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(ptep);
PTE_SYNC(cdst_pte);
PTE_SYNC(csrc_pte);
PTE_SYNC(cdst_pte);
PTE_SYNC(ptep);
PTE_SYNC(pl1pd);
PTE_SYNC(ptep);
PTE_SYNC(&pde[va >> L1_S_SHIFT]);
PTE_SYNC(&pte[(va >> PGSHIFT) & 0x3ff]);
PTE_SYNC(&pte[l2pte_index(va)]);
PTE_SYNC(&pde[slot]);
PTE_SYNC(&pde[va >> L1_S_SHIFT]);
PTE_SYNC(&pte[((va >> PGSHIFT) & 0x3f0) + i]);
PTE_SYNC(&pte[l2pte_index(va) + i]);
PTE_SYNC(&pte[(va >> PGSHIFT) & 0x3ff]);
PTE_SYNC(&pte[l2pte_index(va)]);
PTE_SYNC(pl1pd);
PTE_SYNC(ptep);