IRQT_VIRQ         219 drivers/xen/events/events_base.c 	return xen_irq_info_common_setup(info, irq, IRQT_VIRQ, evtchn, 0);
IRQT_VIRQ         282 drivers/xen/events/events_base.c 	BUG_ON(info->type != IRQT_VIRQ);
IRQT_VIRQ         619 drivers/xen/events/events_base.c 		case IRQT_VIRQ:
IRQT_VIRQ        1006 drivers/xen/events/events_base.c 		WARN_ON(info == NULL || info->type != IRQT_VIRQ);