/*
 * Copyright (C) 2012 Marek Vasut <marex@denx.de>
 *
 * This file contains stub implementation of
 *   invalidate_dcache_range()
 *   flush_dcache_range()
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

void invalidate_dcache_range(unsigned long start, unsigned long stop)
{
}

void flush_dcache_range(unsigned long start, unsigned long stop)
{
}