Searched refs:clean_dcache_region (Results 1 – 3 of 3) sorted by relevance
75 void clean_dcache_region(void *start, size_t len);
29 clean_dcache_region(vaddr, size); in dma_cache_sync()
52 void clean_dcache_region(void *start, size_t size) in clean_dcache_region() function