140 extern void sync_icache_dcache(pte_t pte);
146 static inline void set_pte(pte_t *ptep, pte_t pteval)  in set_pte()
174 				pte_t *ptep)  in pte_clear()
225 static inline int pte_none(pte_t pte)  in pte_none()
233 static inline int pte_present(pte_t pte)  in pte_present()
245 static inline pte_t pte_mkold(pte_t pte)  in pte_mkold()
252 static inline pte_t pte_mkyoung(pte_t pte)  in pte_mkyoung()
259 static inline pte_t pte_mkclean(pte_t pte)  in pte_mkclean()
266 static inline pte_t pte_mkdirty(pte_t pte)  in pte_mkdirty()
273 static inline int pte_young(pte_t pte)  in pte_young()
279 static inline int pte_dirty(pte_t pte)  in pte_dirty()
285 static inline pte_t pte_modify(pte_t pte, pgprot_t prot)  in pte_modify()
293 static inline pte_t pte_wrprotect(pte_t pte)  in pte_wrprotect()
300 static inline pte_t pte_mkwrite(pte_t pte)  in pte_mkwrite()
307 static inline pte_t pte_mkexec(pte_t pte)  in pte_mkexec()
314 static inline int pte_read(pte_t pte)  in pte_read()
320 static inline int pte_write(pte_t pte)  in pte_write()
327 static inline int pte_exec(pte_t pte)  in pte_exec()
336 #define __swp_entry_to_pte(x) ((pte_t) { (x).val })