Searched refs:XEN_RESCHEDULE_VECTOR (Results 1 – 2 of 2) sorted by relevance
71 rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR, in xen_smp_intr_init()144 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); in xen_smp_send_reschedule()183 xen_vector = XEN_RESCHEDULE_VECTOR; in xen_map_vector()
8 XEN_RESCHEDULE_VECTOR, enumerator