extern inline pte_t pte_modify(pte_t pte, pgprot_t newprot) 
static inline pte_t pte_modify(pte_t pte, pgprot_t newprot) 
extern inline pte_t pte_modify(pte_t pte, pgprot_t newprot){	pte_val(pte) &= PAGE_MASK;	pte_val(pte) |= pgprot_val(newprot);	return pte;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4448aaf0faafff3f275d15937c28b6346760e028/pgtable.h/clean/include/asm-s390/pgtable.h