Re: [PATCH 6.5 176/491] xen/events: avoid using info_for_irq() in xen_send_IPI_one()