Symbol: ec_evtchn_pending
usr/src/uts/i86xpv/os/evtchn.c
1341
if (ec_evtchn_pending(port)) {
usr/src/uts/i86xpv/os/evtchn.c
916
return (ec_evtchn_pending(evtchn));