Symbol: xen_send_IPI_allbutself
arch/x86/xen/apic.c
132
.send_IPI_allbutself = xen_send_IPI_allbutself,
arch/x86/xen/xen-ops.h
286
extern void xen_send_IPI_allbutself(int vector);