vivt_flush_cache_page  251 arch/arm/include/asm/cacheflush.h 		vivt_flush_cache_page(vma,addr,pfn)
vivt_flush_cache_page  101 arch/arm/mm/flush.c 		vivt_flush_cache_page(vma, user_addr, pfn);