xen_irq_info_ipi_setup  894 drivers/xen/events/events_base.c 		ret = xen_irq_info_ipi_setup(cpu, irq, evtchn, ipi);
xen_irq_info_ipi_setup 1494 drivers/xen/events/events_base.c 		(void)xen_irq_info_ipi_setup(cpu, irq, evtchn, ipi);