#ifndef CONFIG_CPU_CACHE_VIPT ... #define flush_cache_range(vma,start,end) \ vivt_flush_cache_range(vma,start,end) ... #else extern void flush_cache_range(struct vm_area_struct *vma, unsigned long start, unsigned long end); #endif