Searched refs:send_cpu_ipi (Results 1 – 1 of 1) sorted by relevance
1398 static void send_cpu_ipi(int cpu) in send_cpu_ipi() function1453 send_cpu_ipi(cpu); in arch_smp_send_reschedule()