[PATCH 6.6 187/530] xen/events: avoid using info_for_irq() in xen_send_IPI_one()