Searched refs:send_ipi (Results 1 – 3 of 3) sorted by relevance
47 void send_ipi(int cpu_id);
106 send_ipi(cpus[i].server_no); in test_ipi_cpus()115 send_ipi(cpus[1].server_no); in test_ipi_cpus()
144 void send_ipi(int cpu_id) in send_ipi() function