set_evtchn_to_irq  177 drivers/xen/events/events_base.c 	ret = set_evtchn_to_irq(evtchn, irq);
set_evtchn_to_irq  241 drivers/xen/events/events_base.c 	set_evtchn_to_irq(info->evtchn, -1);
set_evtchn_to_irq  532 drivers/xen/events/events_base.c 	rc = set_evtchn_to_irq(evtchn, irq);