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