Searched refs:send_cpu_ipi (Results 1 – 1 of 1) sorted by relevance
1406 static void send_cpu_ipi(int cpu) in send_cpu_ipi() function1461 send_cpu_ipi(cpu); in smp_send_reschedule()