Symbol: XEN_RESCHEDULE_VECTOR
arch/x86/xen/smp.c
141
xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR);
arch/x86/xen/smp.c
180
xen_vector = XEN_RESCHEDULE_VECTOR;
arch/x86/xen/smp.c
70
rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR,