SMP_ICACHE_FLUSH
BUILD_BUG_ON(SMP_ICACHE_FLUSH != (1 << 2));
octeon_send_ipi_single(cpu, SMP_ICACHE_FLUSH);