120 	srmmu_swap((unsigned long *)ptep, pte_val(pteval));  in set_pte()
166 	return ((pte_val(pte) & SRMMU_ET_MASK) == SRMMU_ET_PTE);  in pte_present()
171 	return !pte_val(pte);  in pte_none()
230 	return pte_val(pte) & SRMMU_WRITE;  in pte_write()
235 	return pte_val(pte) & SRMMU_DIRTY;  in pte_dirty()
240 	return pte_val(pte) & SRMMU_REF;  in pte_young()
245 	return __pte(pte_val(pte) & ~SRMMU_WRITE);  in pte_wrprotect()
250 	return __pte(pte_val(pte) & ~SRMMU_DIRTY);  in pte_mkclean()
255 	return __pte(pte_val(pte) & ~SRMMU_REF);  in pte_mkold()
260 	return __pte(pte_val(pte) | SRMMU_WRITE);  in pte_mkwrite()
265 	return __pte(pte_val(pte) | SRMMU_DIRTY);  in pte_mkdirty()
270 	return __pte(pte_val(pte) | SRMMU_REF);  in pte_mkyoung()
277 	if (srmmu_device_memory(pte_val(pte))) {  in pte_pfn()
285 	return (pte_val(pte) & SRMMU_PTE_PMASK) >> (PAGE_SHIFT-4);  in pte_pfn()
319 	return __pte((pte_val(pte) & SRMMU_CHG_MASK) |  in pte_modify()
358 #define __pte_to_swp_entry(pte)		((swp_entry_t) { pte_val(pte) })