ipi_vector         25 include/xen/events.h int bind_ipi_to_irqhandler(enum ipi_vector ipi,
ipi_vector         59 include/xen/events.h void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);