__xen_send_IPI_mask  169 arch/x86/xen/smp.c 	__xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
__xen_send_IPI_mask  182 arch/x86/xen/smp.c 	__xen_send_IPI_mask(cpumask_of(cpu),
__xen_send_IPI_mask  224 arch/x86/xen/smp.c 		__xen_send_IPI_mask(mask, xen_vector);
__xen_send_IPI_mask  232 arch/x86/xen/smp.c 		__xen_send_IPI_mask(cpu_online_mask, xen_vector);