Symbol: ec_irq_add_evtchn
usr/src/uts/common/xen/io/evtchn_dev.c
301
ec_irq_add_evtchn(ec_dev_irq, port);
usr/src/uts/i86xpv/sys/evtchn_impl.h
191
extern void ec_irq_add_evtchn(int, int);