IRQT_VIRQ
case IRQT_VIRQ:
case IRQT_VIRQ:
case IRQT_VIRQ:
case IRQT_VIRQ:
case IRQT_VIRQ:
case IRQT_VIRQ:
case IRQT_VIRQ:
(type == IRQT_VIRQ));
} else if (type == IRQT_VIRQ) {
if (irqp->ii_type == IRQT_IPI || irqp->ii_type == IRQT_VIRQ ||
virqp->mi_irq = alloc_irq(IRQT_VIRQ, virq, evtchn, cpu);