xen_send_IPI_self  187 arch/x86/xen/apic.c 	.send_IPI_self 			= xen_send_IPI_self,
xen_send_IPI_self   11 arch/x86/xen/smp.h extern void xen_send_IPI_self(int vector);