IRQT_IPI
case IRQT_IPI:
case IRQT_IPI:
case IRQT_IPI:
case IRQT_IPI:
case IRQT_IPI:
case IRQT_IPI:
ASSERT(type != IRQT_IPI || cpu != -1);
case IRQT_IPI:
if (irqp->ii_type == IRQT_IPI || irqp->ii_type == IRQT_VIRQ ||
ipip->mi_irq = alloc_irq(IRQT_IPI, ipl, evtchn, cpu);