Symbol: XEN_IRQ_WORK_VECTOR
arch/x86/xen/smp.c
189
xen_vector = XEN_IRQ_WORK_VECTOR;
arch/x86/xen/smp_pv.c
119
rc = bind_ipi_to_irqhandler(XEN_IRQ_WORK_VECTOR,