Symbol: alloc_irq
usr/src/uts/i86xpv/os/evtchn.c
684
(void) alloc_irq(IRQT_EVTCHN, 0, evtchn, -1);
usr/src/uts/i86xpv/os/evtchn.c
706
virqp->mi_irq = alloc_irq(IRQT_VIRQ, virq, evtchn, cpu);
usr/src/uts/i86xpv/os/evtchn.c
732
ipip->mi_irq = alloc_irq(IRQT_IPI, ipl, evtchn, cpu);