bind_ipi_to_irqhandler
rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_SINGLE_VECTOR,
rc = bind_ipi_to_irqhandler(XEN_RESCHEDULE_VECTOR,
rc = bind_ipi_to_irqhandler(XEN_CALL_FUNCTION_VECTOR,
rc = bind_ipi_to_irqhandler(XEN_IRQ_WORK_VECTOR,
irq = bind_ipi_to_irqhandler(XEN_SPIN_UNLOCK_VECTOR,
int bind_ipi_to_irqhandler(enum ipi_vector ipi,