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){	return __pte((pte_val(pte) & _PAGE_CHG_MASK) | pgprot_val(newprot));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/pgtable.h/clean/include/asm-xtensa/pgtable.h