XEN_RESCHEDULE_VECTOR 68 arch/x86/xen/smp.c rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR, XEN_RESCHEDULE_VECTOR 153 arch/x86/xen/smp.c xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); XEN_RESCHEDULE_VECTOR 192 arch/x86/xen/smp.c xen_vector = XEN_RESCHEDULE_VECTOR;