/* Called to flush the icache on all cores  */
static void octeon_flush_icache_all(void)
/* Called to flush the icache on all cores  */
static void octeon_flush_icache_all(void)
{
	octeon_flush_icache_all_cores(NULL);
}