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);