Searched refs:__flush_dcache_range (Results 1 – 6 of 6) sorted by relevance
54 extern void __flush_dcache_range(unsigned long, unsigned long);61 static inline void __flush_dcache_range(unsigned long va, unsigned long sz) in __flush_dcache_range() function152 __flush_dcache_range(start, (end) - (start)); \170 __flush_dcache_range((unsigned long) dst, len); \
393 ENTRY(__flush_dcache_range)402 ENDPROC(__flush_dcache_range)403 EXPORT_SYMBOL(__flush_dcache_range)
308 __flush_dcache_range((unsigned long)dst,len); in copy_to_user_page()
71 do_cache_op(paddr, size, __flush_dcache_range); in arch_sync_dma_for_device()
1111 __flush_dcache_range((unsigned long) ivector_table, in irq_ivector_init()
727 void __flush_dcache_range(unsigned long start, unsigned long end) in __flush_dcache_range() function750 EXPORT_SYMBOL(__flush_dcache_range);