extern inline void flush_tlb_pgtables(struct mm_struct *mm, 
static inline void flush_tlb_pgtables(struct mm_struct *mm, 
extern inline void flush_tlb_pgtables(struct mm_struct *mm,                                      unsigned long start, unsigned long end){        /* CRIS does not keep any page table caches in TLB */}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d9b5444eeb3a663ca4a625878b1421c9e9b18e8b/tlbflush.h/buggy/include/asm-cris/tlbflush.h