XEN_SPIN_UNLOCK_VECTOR   31 arch/x86/xen/spinlock.c 	xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR);
XEN_SPIN_UNLOCK_VECTOR   78 arch/x86/xen/spinlock.c 	irq = bind_ipi_to_irqhandler(XEN_SPIN_UNLOCK_VECTOR,