57 extern void __pte_error(const char *file, int line, pte_t);
159 static inline pte_t *pmd_page_vaddr(pmd_t pmd)  in pmd_page_vaddr()
190 static inline bool pte_access_permitted(pte_t pte, bool write)  in pte_access_permitted()
203 static inline void __sync_icache_dcache(pte_t pteval)  in __sync_icache_dcache()
207 extern void __sync_icache_dcache(pte_t pteval);
211 		      pte_t *ptep, pte_t pteval);
213 static inline pte_t clear_pte_bit(pte_t pte, pgprot_t prot)  in clear_pte_bit()
219 static inline pte_t set_pte_bit(pte_t pte, pgprot_t prot)  in set_pte_bit()
225 static inline pte_t pte_wrprotect(pte_t pte)  in pte_wrprotect()
230 static inline pte_t pte_mkwrite(pte_t pte)  in pte_mkwrite()
235 static inline pte_t pte_mkclean(pte_t pte)  in pte_mkclean()
240 static inline pte_t pte_mkdirty(pte_t pte)  in pte_mkdirty()
245 static inline pte_t pte_mkold(pte_t pte)  in pte_mkold()
250 static inline pte_t pte_mkyoung(pte_t pte)  in pte_mkyoung()
255 static inline pte_t pte_mkexec(pte_t pte)  in pte_mkexec()
260 static inline pte_t pte_mknexec(pte_t pte)  in pte_mknexec()
265 static inline pte_t pte_modify(pte_t pte, pgprot_t newprot)  in pte_modify()