extern inline int pte_file(pte_t pte)           { return pte_val(pte) & _PAGE_FILE; } 
static inline int pte_file(pte_t pte)           { return pte_val(pte) & _PAGE_FILE; } 
extern inline int pte_file(pte_t pte)           { return pte_val(pte) & _PAGE_FILE; }
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/pgtable.h/clean/include/asm-cris/pgtable.h