Searched refs:XEN_SPIN_UNLOCK_VECTOR (Results 1 – 2 of 2) sorted by relevance
30 xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR); in xen_qlock_kick()262 xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR); in xen_unlock_kick()287 irq = bind_ipi_to_irqhandler(XEN_SPIN_UNLOCK_VECTOR, in xen_init_lock_cpu()
8 XEN_SPIN_UNLOCK_VECTOR, enumerator