70 	printk("%s:%d: bad pte %p.\n", __FILE__, __LINE__, (void *) pte_val(e))
765 	return (pte_val(pte) & _PAGE_PRESENT) != 0;  in pte_present()
771 	return pte_val(pte) == _PAGE_INVALID;  in pte_none()
777 	return (pte_val(pte) & (_PAGE_PROTECT | _PAGE_PRESENT))  in pte_swap()
783 	return (pte_val(pte) & _PAGE_SPECIAL);  in pte_special()
789 	return pte_val(a) == pte_val(b);  in pte_same()
795 	return pte_present(pte) && !(pte_val(pte) & _PAGE_READ);  in pte_protnone()
807 	return pte_val(pte) & _PAGE_SOFT_DIRTY;  in pte_soft_dirty()
813 	pte_val(pte) |= _PAGE_SOFT_DIRTY;  in pte_mksoft_dirty()
820 	pte_val(pte) &= ~_PAGE_SOFT_DIRTY;  in pte_clear_soft_dirty()
848 	return (pte_val(pte) & _PAGE_WRITE) != 0;  in pte_write()
853 	return (pte_val(pte) & _PAGE_DIRTY) != 0;  in pte_dirty()
858 	return (pte_val(pte) & _PAGE_YOUNG) != 0;  in pte_young()
864 	return pte_val(pte) & _PAGE_UNUSED;  in pte_unused()
875 	unsigned long pte_flags = pte_val(pte) & _PAGE_CHG_MASK;  in pte_pgprot()
881 	pte_flags |= pte_val(pte) & mio_wb_bit_mask;  in pte_pgprot()
915 	pte_val(*ptep) = _PAGE_INVALID;  in pte_clear()
924 	pte_val(pte) &= _PAGE_CHG_MASK;  in pte_modify()
925 	pte_val(pte) |= pgprot_val(newprot);  in pte_modify()
930 	if ((pte_val(pte) & _PAGE_YOUNG) && (pte_val(pte) & _PAGE_READ))  in pte_modify()
931 		pte_val(pte) &= ~_PAGE_INVALID;  in pte_modify()
936 	if ((pte_val(pte) & _PAGE_DIRTY) && (pte_val(pte) & _PAGE_WRITE))  in pte_modify()
937 		pte_val(pte) &= ~_PAGE_PROTECT;  in pte_modify()
943 	pte_val(pte) &= ~_PAGE_WRITE;  in pte_wrprotect()
944 	pte_val(pte) |= _PAGE_PROTECT;  in pte_wrprotect()
950 	pte_val(pte) |= _PAGE_WRITE;  in pte_mkwrite()
951 	if (pte_val(pte) & _PAGE_DIRTY)  in pte_mkwrite()
952 		pte_val(pte) &= ~_PAGE_PROTECT;  in pte_mkwrite()
958 	pte_val(pte) &= ~_PAGE_DIRTY;  in pte_mkclean()
959 	pte_val(pte) |= _PAGE_PROTECT;  in pte_mkclean()
965 	pte_val(pte) |= _PAGE_DIRTY | _PAGE_SOFT_DIRTY;  in pte_mkdirty()
966 	if (pte_val(pte) & _PAGE_WRITE)  in pte_mkdirty()
967 		pte_val(pte) &= ~_PAGE_PROTECT;  in pte_mkdirty()
973 	pte_val(pte) &= ~_PAGE_YOUNG;  in pte_mkold()
974 	pte_val(pte) |= _PAGE_INVALID;  in pte_mkold()
980 	pte_val(pte) |= _PAGE_YOUNG;  in pte_mkyoung()
981 	if (pte_val(pte) & _PAGE_READ)  in pte_mkyoung()
982 		pte_val(pte) &= ~_PAGE_INVALID;  in pte_mkyoung()
988 	pte_val(pte) |= _PAGE_SPECIAL;  in pte_mkspecial()
995 	pte_val(pte) |= _PAGE_LARGE;  in pte_mkhuge()
1084 		uv_convert_from_secure(pte_val(res) & PAGE_MASK);  in ptep_get_and_clear()
1101 		uv_convert_from_secure(pte_val(res) & PAGE_MASK);  in ptep_clear_flush()
1126 		uv_convert_from_secure(pte_val(res) & PAGE_MASK);  in ptep_get_and_clear_full()
1204 		pte_val(entry) &= ~_PAGE_UNUSED;  in set_pte_at()
1219 	pte_val(__pte) = physpage | pgprot_val(pgprot);  in mk_pte_phys()
1221 		pte_val(__pte) &= ~_PAGE_NOEXEC;  in mk_pte_phys()
1351 #define pte_pfn(x) (pte_val(x) >> PAGE_SHIFT)
1698 	pte_val(pte) = _PAGE_INVALID | _PAGE_PROTECT;  in mk_swap_pte()
1699 	pte_val(pte) |= (offset & __SWP_OFFSET_MASK) << __SWP_OFFSET_SHIFT;  in mk_swap_pte()
1700 	pte_val(pte) |= (type & __SWP_TYPE_MASK) << __SWP_TYPE_SHIFT;  in mk_swap_pte()
1716 	return (swp_entry_t) { pte_val(mk_swap_pte(type, offset)) };  in __swp_entry()
1719 #define __pte_to_swp_entry(pte)	((swp_entry_t) { pte_val(pte) })