-/* Actual page table PTE updates. */
-extern void tlb_batch_add(pte_t *ptep, pte_t orig);
-
-static inline void set_pte(pte_t *ptep, pte_t pte)
-{
- pte_t orig = *ptep;
-
- *ptep = pte;
- if (pte_present(orig))
- tlb_batch_add(ptep, orig);
-}
-
-#define pte_clear(ptep) set_pte((ptep), __pte(0UL))
-