30 static void v7_dcache_clean_inval_range(u32 start, u32 stop, u32 line_len)  in v7_dcache_clean_inval_range()  argument
36 	for (mva = start; mva < stop; mva = mva + line_len) {  in v7_dcache_clean_inval_range()
42 static void v7_dcache_inval_range(u32 start, u32 stop, u32 line_len)  in v7_dcache_inval_range()  argument
46 	if (!check_cache_range(start, stop))  in v7_dcache_inval_range()
49 	for (mva = start; mva < stop; mva = mva + line_len) {  in v7_dcache_inval_range()
55 static void v7_dcache_maint_range(u32 start, u32 stop, u32 range_op)  in v7_dcache_maint_range()  argument
69 		v7_dcache_clean_inval_range(start, stop, line_len);  in v7_dcache_maint_range()
72 		v7_dcache_inval_range(start, stop, line_len);  in v7_dcache_maint_range()
115  * Affects the range [start, stop - 1]
117 void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
119 	check_cache_range(start, stop);  in invalidate_dcache_range()
121 	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_INVAL_RANGE);  in invalidate_dcache_range()
123 	v7_outer_cache_inval_range(start, stop);  in invalidate_dcache_range()
129  * Affects the range [start, stop - 1]
131 void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
133 	check_cache_range(start, stop);  in flush_dcache_range()
135 	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_CLEAN_INVAL_RANGE);  in flush_dcache_range()
137 	v7_outer_cache_flush_range(start, stop);  in flush_dcache_range()
147 void mmu_page_table_flush(unsigned long start, unsigned long stop)  in mmu_page_table_flush()  argument
149 	flush_dcache_range(start, stop);  in mmu_page_table_flush()
161 void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
165 void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
173 void mmu_page_table_flush(unsigned long start, unsigned long stop)  in mmu_page_table_flush()  argument