xen_send_IPI_all  186 arch/x86/xen/apic.c 	.send_IPI_all 			= xen_send_IPI_all,
xen_send_IPI_all   10 arch/x86/xen/smp.h extern void xen_send_IPI_all(int vector);