/* Flush range(clean & invalidate) from all levels of D-cache/unified cache used: Affects the range   */
void flush_dcache_range(unsigned long start, unsigned long stop)
/* Flush range(clean & invalidate) from all levels of D-cache/unified cache used: Affects the range   */
void flush_dcache_range(unsigned long start, unsigned long stop)
{
	check_cache_range(start, stop);
	v7_dcache_maint_range(start, stop, ARMV7_DCACHE_CLEAN_INVAL_RANGE);
	v7_outer_cache_flush_range(start, stop);
}