xen_irq_info_evtchn_setup 850 drivers/xen/events/events_base.c ret = xen_irq_info_evtchn_setup(irq, evtchn); xen_irq_info_evtchn_setup 1284 drivers/xen/events/events_base.c (void)xen_irq_info_evtchn_setup(irq, evtchn);