native_send_call_func_single_ipi
void native_send_call_func_single_ipi(int cpu);
.send_call_func_single_ipi = native_send_call_func_single_ipi,