/* Invalidates range in all levels of D-cache/unified cache  */
void invalidate_dcache_range(unsigned long start, unsigned long stop)
/* Invalidates range in all levels of D-cache/unified cache  */
void invalidate_dcache_range(unsigned long start, unsigned long stop)
{
	__asm_invalidate_dcache_range(start, stop);
}