IRQT_EVTCHN       191 drivers/xen/events/events_base.c 	return xen_irq_info_common_setup(info, irq, IRQT_EVTCHN, evtchn, 0);
IRQT_EVTCHN       860 drivers/xen/events/events_base.c 		WARN_ON(info == NULL || info->type != IRQT_EVTCHN);