Symbol: send_call_function_single_ipi
kernel/smp.c
413
send_call_function_single_ipi(cpu);
kernel/smp.c
857
send_call_function_single_ipi(last_cpu);