Symbol: xen_irq_info_evtchn_setup
drivers/xen/events/events_base.c
1207
ret = xen_irq_info_evtchn_setup(info, evtchn, dev);
drivers/xen/events/events_base.c
1763
(void)xen_irq_info_evtchn_setup(info, evtchn, NULL);