xen_send_IPI_allbutself  185 arch/x86/xen/apic.c 	.send_IPI_allbutself 		= xen_send_IPI_allbutself,
xen_send_IPI_allbutself    9 arch/x86/xen/smp.h extern void xen_send_IPI_allbutself(int vector);