xen_smp_send_call_function_single_ipi   22 arch/x86/xen/smp.h void xen_smp_send_call_function_single_ipi(int cpu);
xen_smp_send_call_function_single_ipi   73 arch/x86/xen/smp_hvm.c 	smp_ops.send_call_func_single_ipi = xen_smp_send_call_function_single_ipi;
xen_smp_send_call_function_single_ipi  505 arch/x86/xen/smp_pv.c 	.send_call_func_single_ipi = xen_smp_send_call_function_single_ipi,