···256256 * Convert calls to our calling convention.257257 */258258#define flush_cache_all() __cpuc_flush_kern_all()259259-259259+#ifndef CONFIG_CPU_CACHE_VIPT260260static inline void flush_cache_mm(struct mm_struct *mm)261261{262262 if (cpu_isset(smp_processor_id(), mm->cpu_vm_mask))···279279 __cpuc_flush_user_range(addr, addr + PAGE_SIZE, vma->vm_flags);280280 }281281}282282+#else283283+extern void flush_cache_mm(struct mm_struct *mm);284284+extern void flush_cache_range(struct vm_area_struct *vma, unsigned long start, unsigned long end);285285+extern void flush_cache_page(struct vm_area_struct *vma, unsigned long user_addr, unsigned long pfn);286286+#endif282287283288/*284289 * flush_cache_user_range is used when we want to ensure that the