32 static void v7_dcache_clean_inval_range(u32 start, u32 stop, u32 line_len)  in v7_dcache_clean_inval_range()  argument
38 	for (mva = start; mva < stop; mva = mva + line_len) {  in v7_dcache_clean_inval_range()
44 static void v7_dcache_inval_range(u32 start, u32 stop, u32 line_len)  in v7_dcache_inval_range()  argument
48 	if (!check_cache_range(start, stop))  in v7_dcache_inval_range()
51 	for (mva = start; mva < stop; mva = mva + line_len) {  in v7_dcache_inval_range()
57 static void v7_dcache_maint_range(u32 start, u32 stop, u32 range_op)  in v7_dcache_maint_range()  argument
71 		v7_dcache_clean_inval_range(start, stop, line_len);  in v7_dcache_maint_range()
74 		v7_dcache_inval_range(start, stop, line_len);  in v7_dcache_maint_range()
119 void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
121 	check_cache_range(start, stop);  in invalidate_dcache_range()
123 	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_INVAL_RANGE);  in invalidate_dcache_range()
125 	v7_outer_cache_inval_range(start, stop);  in invalidate_dcache_range()
133 void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
135 	check_cache_range(start, stop);  in flush_dcache_range()
137 	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_CLEAN_INVAL_RANGE);  in flush_dcache_range()
139 	v7_outer_cache_flush_range(start, stop);  in flush_dcache_range()
149 void mmu_page_table_flush(unsigned long start, unsigned long stop)  in mmu_page_table_flush()  argument
151 	flush_dcache_range(start, stop);  in mmu_page_table_flush()
163 void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
167 void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
175 void mmu_page_table_flush(unsigned long start, unsigned long stop)  in mmu_page_table_flush()  argument