Symbol: ec_pending_irq
usr/src/uts/common/xen/io/xpvd.c
627
*(int *)result = ec_pending_irq(hdlp->ih_vector);
usr/src/uts/i86xpv/io/psm/xpv_psm.c
722
*result = ec_pending_irq(hdlp->ih_vector);
usr/src/uts/i86xpv/sys/evtchn_impl.h
173
extern int ec_pending_irq(unsigned int);