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;