__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);