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);