Searched refs:octeon_send_ipi_single (Results 1 – 2 of 2) sorted by relevance
99 void octeon_send_ipi_single(int cpu, unsigned int action) in octeon_send_ipi_single() function115 octeon_send_ipi_single(i, action); in octeon_send_ipi_mask()417 .send_ipi_single = octeon_send_ipi_single,
67 extern void octeon_send_ipi_single(int cpu, unsigned int action); in octeon_flush_icache_all_cores()89 octeon_send_ipi_single(cpu, SMP_ICACHE_FLUSH); in octeon_flush_icache_all_cores()
