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