ipi_vector        197 drivers/xen/events/events_base.c 				  enum ipi_vector ipi)
ipi_vector        267 drivers/xen/events/events_base.c static enum ipi_vector ipi_from_irq(unsigned irq)
ipi_vector       1084 drivers/xen/events/events_base.c int bind_ipi_to_irqhandler(enum ipi_vector ipi,
ipi_vector       1198 drivers/xen/events/events_base.c void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector)
ipi_vector         41 drivers/xen/events/events_internal.h 		enum ipi_vector ipi;
ipi_vector         27 include/xen/events.h int bind_ipi_to_irqhandler(enum ipi_vector ipi,
ipi_vector         61 include/xen/events.h void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);