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){	BUG();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c514b8be7aea4b5d8e16fba3a79b14aec3793f65/tlbflush.h/buggy/include/asm-m68knommu/tlbflush.h