xen_irq_info_virq_setup  996 drivers/xen/events/events_base.c 		ret = xen_irq_info_virq_setup(cpu, irq, evtchn, virq);
xen_irq_info_virq_setup 1470 drivers/xen/events/events_base.c 		(void)xen_irq_info_virq_setup(cpu, irq, evtchn, virq);