Symbol: ec_dev_alloc_irq
usr/src/uts/common/xen/io/evtchn_dev.c
638
ec_dev_irq = ec_dev_alloc_irq();
usr/src/uts/i86xpv/sys/evtchn_impl.h
193
extern int ec_dev_alloc_irq(void);