/* This is called after loading something into memory. We need to make sure that everything that was loaded is actually written to RAM, and that the icache will look for it. Cleaning the dcache and invalidating the icache will do the trick.  */
void flush_cache(unsigned long start_addr, unsigned long size)
/* This is called after loading something into memory. We need to make sure that everything that was loaded is actually written to RAM, and that the icache will look for it. Cleaning the dcache and invalidating the icache will do the trick.  */
void flush_cache(unsigned long start_addr, unsigned long size)
{
	dcache_clean_range((void *)start_addr, size);
	icache_invalidate_range((void *)start_addr, size);
}