133 #define pte_mkhuge(pte) __pte((pte_val(pte) & ~0x3) | HVM_HUGEPAGE_SIZE)  argument
140 extern void sync_icache_dcache(pte_t pte);
142 #define pte_present_exec_user(pte) \  argument
143 	((pte_val(pte) & (_PAGE_EXECUTE | _PAGE_USER)) == \
225 static inline int pte_none(pte_t pte)  in pte_none()  argument
227 	return pte_val(pte) == _NULL_PTE;  in pte_none()
233 static inline int pte_present(pte_t pte)  in pte_present()  argument
235 	return pte_val(pte) & _PAGE_PRESENT;  in pte_present()
245 static inline pte_t pte_mkold(pte_t pte)  in pte_mkold()  argument
247 	pte_val(pte) &= ~_PAGE_ACCESSED;  in pte_mkold()
248 	return pte;  in pte_mkold()
252 static inline pte_t pte_mkyoung(pte_t pte)  in pte_mkyoung()  argument
254 	pte_val(pte) |= _PAGE_ACCESSED;  in pte_mkyoung()
255 	return pte;  in pte_mkyoung()
259 static inline pte_t pte_mkclean(pte_t pte)  in pte_mkclean()  argument
261 	pte_val(pte) &= ~_PAGE_DIRTY;  in pte_mkclean()
262 	return pte;  in pte_mkclean()
266 static inline pte_t pte_mkdirty(pte_t pte)  in pte_mkdirty()  argument
268 	pte_val(pte) |= _PAGE_DIRTY;  in pte_mkdirty()
269 	return pte;  in pte_mkdirty()
273 static inline int pte_young(pte_t pte)  in pte_young()  argument
275 	return pte_val(pte) & _PAGE_ACCESSED;  in pte_young()
279 static inline int pte_dirty(pte_t pte)  in pte_dirty()  argument
281 	return pte_val(pte) & _PAGE_DIRTY;  in pte_dirty()
285 static inline pte_t pte_modify(pte_t pte, pgprot_t prot)  in pte_modify()  argument
287 	pte_val(pte) &= PAGE_MASK;  in pte_modify()
288 	pte_val(pte) |= pgprot_val(prot);  in pte_modify()
289 	return pte;  in pte_modify()
293 static inline pte_t pte_wrprotect(pte_t pte)  in pte_wrprotect()  argument
295 	pte_val(pte) &= ~_PAGE_WRITE;  in pte_wrprotect()
296 	return pte;  in pte_wrprotect()
300 static inline pte_t pte_mkwrite(pte_t pte)  in pte_mkwrite()  argument
302 	pte_val(pte) |= _PAGE_WRITE;  in pte_mkwrite()
303 	return pte;  in pte_mkwrite()
307 static inline pte_t pte_mkexec(pte_t pte)  in pte_mkexec()  argument
309 	pte_val(pte) |= _PAGE_EXECUTE;  in pte_mkexec()
310 	return pte;  in pte_mkexec()
314 static inline int pte_read(pte_t pte)  in pte_read()  argument
316 	return pte_val(pte) & _PAGE_READ;  in pte_read()
320 static inline int pte_write(pte_t pte)  in pte_write()  argument
322 	return pte_val(pte) & _PAGE_WRITE;  in pte_write()
327 static inline int pte_exec(pte_t pte)  in pte_exec()  argument
329 	return pte_val(pte) & _PAGE_EXECUTE;  in pte_exec()
333 #define __pte_to_swp_entry(pte) ((swp_entry_t) { pte_val(pte) })  argument
342 #define pte_pfn(pte) (pte_val(pte) >> PAGE_SHIFT)  argument
351 #define set_pte_at(mm, addr, ptep, pte) set_pte(ptep, pte)  argument