Searched refs:octeon_send_ipi_single (Results 1 – 2 of 2) sorted by relevance
100 void octeon_send_ipi_single(int cpu, unsigned int action) in octeon_send_ipi_single() function116 octeon_send_ipi_single(i, action); in octeon_send_ipi_mask()414 .send_ipi_single = octeon_send_ipi_single,
65 extern void octeon_send_ipi_single(int cpu, unsigned int action); in octeon_flush_icache_all_cores()88 octeon_send_ipi_single(cpu, SMP_ICACHE_FLUSH); in octeon_flush_icache_all_cores()