XEN_IRQ_WORK_VECTOR  201 arch/x86/xen/smp.c 		xen_vector = XEN_IRQ_WORK_VECTOR;
XEN_IRQ_WORK_VECTOR  121 arch/x86/xen/smp_pv.c 	rc = bind_ipi_to_irqhandler(XEN_IRQ_WORK_VECTOR,