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_CHG_MASK;	pte_val(pte) |= pgprot_val(newprot);	pte_val(pte) &= __supported_pte_mask;       return pte; }
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9c0aa0f9a16557a3dd9b7b0d39bc67ddf1fa0b32/pgtable.h/clean/include/asm-x86_64/pgtable.h