/* Performs a clean & invalidation of the entire data cache at all levels  */
void flush_dcache_all(void)
/* Performs a clean & invalidation of the entire data cache at all levels  */
void flush_dcache_all(void)
{
	v7_flush_dcache_all();
	v7_outer_cache_flush_all();
}