send_call_function_single_ipi
send_call_function_single_ipi(cpu);
send_call_function_single_ipi(last_cpu);