Searched refs:__flush_dcache_range (Results 1 – 5 of 5) 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)
71 do_cache_op(paddr, size, __flush_dcache_range); in arch_sync_dma_for_device()
47 void __flush_dcache_range(unsigned long start, unsigned long end);
733 void __flush_dcache_range(unsigned long start, unsigned long end) in __flush_dcache_range() function 756 EXPORT_SYMBOL(__flush_dcache_range);