Symbol: xen_send_IPI_all
arch/x86/xen/apic.c
133
.send_IPI_all = xen_send_IPI_all,
arch/x86/xen/xen-ops.h
287
extern void xen_send_IPI_all(int vector);