alloc_irq_evtchn
alloc_irq_evtchn(irq, index, evtchn, cpu);
alloc_irq_evtchn(virqp->mi_irq, virq, evtchn, cpu);
alloc_irq_evtchn(ipip->mi_irq, ipl, evtchn, cpu);
alloc_irq_evtchn(irq, 0, evtchn, 0);