1 // SPDX-License-Identifier: GPL-2.0-or-later
7  * flush_coherent_icache() - if a CPU has a coherent icache, flush it
30  * invalidate_icache_range() - Flush the icache by issuing icbi across an address range
32  * @stop: the stop address (exclusive)
34 static void invalidate_icache_range(unsigned long start, unsigned long stop)  in invalidate_icache_range()  argument
38 	char *addr = (char *)(start & ~(bytes - 1));  in invalidate_icache_range()
39 	unsigned long size = stop - (unsigned long)addr + (bytes - 1);  in invalidate_icache_range()
56  * @stop: the stop address (exclusive)
58 void flush_icache_range(unsigned long start, unsigned long stop)  in flush_icache_range()  argument
63 	clean_dcache_range(start, stop);  in flush_icache_range()
75 		invalidate_icache_range(start, stop);  in flush_icache_range()
81  * flush_dcache_icache_phys() - Flush a page by its physical address
107 		"1: icbi    0, %1;\n"  in flush_dcache_icache_phys()
108 		"   addi    %1, %1, %4;\n"  in flush_dcache_icache_phys()
109 		"   bdnz    1b;\n"  in flush_dcache_icache_phys()
184 	 * - Anton  in clear_user_page()
203 	 * - Anton  in copy_user_page()
206 	if (!vma->vm_file && ((vma->vm_flags & VM_EXEC) == 0))  in copy_user_page()