Symbol: XEN_SPIN_UNLOCK_VECTOR
arch/x86/xen/spinlock.c
29
xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR);
arch/x86/xen/spinlock.c
77
irq = bind_ipi_to_irqhandler(XEN_SPIN_UNLOCK_VECTOR,