vivt_flush_cache_range  249 arch/arm/include/asm/cacheflush.h 		vivt_flush_cache_range(vma,start,end)
vivt_flush_cache_range   82 arch/arm/mm/flush.c 		vivt_flush_cache_range(vma, start, end);