Symbol: __xen_send_IPI_mask
arch/x86/xen/smp.c
157
__xen_send_IPI_mask(mask, XEN_CALL_FUNCTION_VECTOR);
arch/x86/xen/smp.c
170
__xen_send_IPI_mask(cpumask_of(cpu),
arch/x86/xen/smp.c
212
__xen_send_IPI_mask(mask, xen_vector);
arch/x86/xen/smp.c
220
__xen_send_IPI_mask(cpu_online_mask, xen_vector);