Symbol: IRQT_VIRQ
drivers/xen/events/events_base.c
1413
WARN_ON(info == NULL || info->type != IRQT_VIRQ);
drivers/xen/events/events_base.c
1806
if (info->type == IRQT_VIRQ) {
drivers/xen/events/events_base.c
385
return xen_irq_info_common_setup(info, IRQT_VIRQ, evtchn, 0);
drivers/xen/events/events_base.c
452
BUG_ON(info->type != IRQT_VIRQ);
drivers/xen/events/events_base.c
977
case IRQT_VIRQ: