31 static void v7_dcache_clean_inval_range(u32 start, u32 stop, u32 line_len)  in v7_dcache_clean_inval_range()  argument
37 	for (mva = start; mva < stop; mva = mva + line_len) {  in v7_dcache_clean_inval_range()
43 static void v7_dcache_inval_range(u32 start, u32 stop, u32 line_len)  in v7_dcache_inval_range()  argument
48 	check_cache_range(start, stop);  in v7_dcache_inval_range()
58 	if (stop & (line_len - 1)) {  in v7_dcache_inval_range()
59 		mva = stop & ~(line_len - 1);  in v7_dcache_inval_range()
61 		stop = mva;  in v7_dcache_inval_range()
64 	for (mva = start; mva < stop; mva = mva + line_len) {  in v7_dcache_inval_range()
70 static void v7_dcache_maint_range(u32 start, u32 stop, u32 range_op)  in v7_dcache_maint_range()  argument
84 		v7_dcache_clean_inval_range(start, stop, line_len);  in v7_dcache_maint_range()
87 		v7_dcache_inval_range(start, stop, line_len);  in v7_dcache_maint_range()
130  * Affects the range [start, stop - 1]
132 void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
135 	check_cache_range(start, stop);  in invalidate_dcache_range()
137 	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_INVAL_RANGE);  in invalidate_dcache_range()
139 	v7_outer_cache_inval_range(start, stop);  in invalidate_dcache_range()
145  * Affects the range [start, stop - 1]
147 void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
150 	check_cache_range(start, stop);  in flush_dcache_range()
152 	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_CLEAN_INVAL_RANGE);  in flush_dcache_range()
154 	v7_outer_cache_flush_range(start, stop);  in flush_dcache_range()
164 void mmu_page_table_flush(unsigned long start, unsigned long stop)  in mmu_page_table_flush()  argument
166 	flush_dcache_range(start, stop);  in mmu_page_table_flush()
178 void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
182 void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
190 void mmu_page_table_flush(unsigned long start, unsigned long stop)  in mmu_page_table_flush()  argument