/* This one is called after a module has been loaded.  */
void flush_icache_range(unsigned long start, unsigned long end)
/* This one is called after a module has been loaded.  */
void flush_icache_range(unsigned long start, unsigned long end)
{
	unsigned long linesz;
	linesz = boot_cpu_data.dcache.linesz;
	__flush_icache_range(start & ~(linesz - 1),
			     (end + linesz - 1) & ~(linesz - 1));
}