xen_send_IPI_mask  183 arch/x86/xen/apic.c 	.send_IPI_mask 			= xen_send_IPI_mask,
xen_send_IPI_mask    5 arch/x86/xen/smp.h extern void xen_send_IPI_mask(const struct cpumask *mask,