Searched refs:cpu_dcache_wb_range (Results 1 – 4 of 4) sorted by relevance
24 extern void cpu_dcache_wb_range(unsigned long start, unsigned long end);
34 cpu_dcache_wb_range((unsigned long)new_pgd, in pgd_alloc()
303 void cpu_dcache_wb_range(unsigned long start, unsigned long end) in cpu_dcache_wb_range() function453 cpu_dcache_wb_range(start, end); in cpu_dma_wb_range()
325 cpu_dcache_wb_range((unsigned long)addr, (unsigned long)addr + size); in flush_kernel_vmap_range()
Completed in 8 milliseconds