Symbol: xen_send_IPI_self
arch/x86/xen/apic.c
134
.send_IPI_self = xen_send_IPI_self,
arch/x86/xen/xen-ops.h
281
extern void xen_send_IPI_self(int vector);