260 static inline unsigned long hpte_rpn(unsigned long ptel, unsigned long psize)  in hpte_rpn()  argument
262 	return ((ptel & HPTE_R_RPN) & ~(psize - 1)) >> PAGE_SHIFT;  in hpte_rpn()
265 static inline int hpte_is_writable(unsigned long ptel)  in hpte_is_writable()  argument
267 	unsigned long pp = ptel & (HPTE_R_PP0 | HPTE_R_PP);  in hpte_is_writable()
272 static inline unsigned long hpte_make_readonly(unsigned long ptel)  in hpte_make_readonly()  argument
274 	if ((ptel & HPTE_R_PP0) || (ptel & HPTE_R_PP) == PP_RWXX)  in hpte_make_readonly()
275 		ptel = (ptel & ~HPTE_R_PP) | PP_RXXX;  in hpte_make_readonly()
277 		ptel |= PP_RXRX;  in hpte_make_readonly()
278 	return ptel;  in hpte_make_readonly()
281 static inline int hpte_cache_flags_ok(unsigned long ptel, unsigned long io_type)  in hpte_cache_flags_ok()  argument
283 	unsigned int wimg = ptel & HPTE_R_WIMG;  in hpte_cache_flags_ok()