/* Flush a range of kernel addresses out of the icache  */
static void octeon_flush_icache_range(unsigned long start, unsigned long end)
/* Flush a range of kernel addresses out of the icache  */
static void octeon_flush_icache_range(unsigned long start, unsigned long end)
{
	octeon_flush_icache_all_cores(NULL);
}